Cohabitant – familyCohabitant
familyCohabitant Cohabitant
Domain:
Range:
Quantification:
No quantifiers yet.
Scope note:
Examples:
No example yet.
In First Order Logic:
- familyCohabitant(x,y) ⇒ Family(x)
- familyCohabitant(x,y) ⇒ Person(y)
Scope notes
Examples
Additional notes
Identifier: familyCohabitant
Official URI: https://ontome.net/ns/cpm/familyCohabitant
OntoME URI: https://ontome.net/ontology/p1120
Domain and range
cpm:Family → familyCohabitant Cohabitant → cpm:Person
Labels
: Standard label for this language
Comments
No comment found.