is tutor – isTutor
isTutor is tutor
Domain:
Quantification:
No quantifiers yet.
Scope note:
Examples:
No example yet.
In First Order Logic:
- isTutor(x,y) ⇒ Person(x)
- isTutor(x,y) ⇒ QualificationDocument(y)
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments |
|---|
Identifier: isTutor
Official URI: https://ontome.net/ns/cpm/isTutor
OntoME URI: https://ontome.net/ontology/p1127
Domain and range
cpm:Person → isTutor is tutor → cpm:QualificationDocument Qualification Paper
Labels
| Label | Language | Last updated | View details | Comments |
|---|
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| Catalogus Professorum Model - ongoing | 2019-12-04 |
| Catalogus Professorum Model - Version 2.1 | 2019-12-04 |
Parent properties
| Domain | Property | Range | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Ancestor properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Related properties
| Relation | Property | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Profiles using this property
| Label | Version | Status | Last updated |
|---|
Comments
No comment found.