has history – U15
U15 has history
Range:
Quantification:
No quantifiers yet.
Subproperty of:
Scope note:
Examples:
No example yet.
In First Order Logic:
- U15(x,y) ⇒ F22(x)
- U15(x,y) ⇒ E62(y)
- U15(x,y) ⇒ P3(x,y)
Scope notes
Examples
Additional notes
Identifier: U15
Official URI: http://data.doremus.org/ontology#U15_has_history
OntoME URI: https://ontome.net/ontology/p2074
Domain and range
frbroo:F22 Self-Contained Expression → U15 has history → crm:E62 String
Labels
: Standard label for this language
Comments
No comment found.