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