defines time – Q14
Q14 defines time
Domain:
Quantification:
1,n:1,1
Scope note:
This property associates an instance of SP14 Time Expression with the instance of SP10 Declarative Time Span it defines. Syntactic variants or use of different scripts may result in multiple instances of SP14 Time Expression defining exactly the same time span. Transformations between different temporal reference systems in general result in new definitions of time spans approximating each other.
Examples:
No example yet.
In First Order Logic:
- Q14(x,y) ⇒ SP14(x)
- Q14(x,y) ⇒ SP10(y)
Scope notes
Examples
Additional notes
Identifier: Q14
Official URI: http://www.ics.forth.gr/isl/CRMgeo/Q14_defines_time
OntoME URI: https://ontome.net/ontology/p1060
Domain and range
crmgeo:SP14 Time Expression → Q14 defines time → crmgeo:SP10 Declarative Time-Span (Quantifiers 1,n:1,1)
Labels
: Standard label for this language
Comments
No comment found.