existence is deduced from – P6
This property does not yet have the minimum number of validated parts required for publication.
P6 existence is deduced from
Domain:
Range:
Quantification:
0,n:0,n
Scope note:
Associates an entity of the Geovistory data domain to the corresponding entity in the information domain, i.e. in general a CIDOC CRM class or a subclass of it.
Examples:
No example yet.
In First Order Logic:
- P6(x,y) ⇒ E1(x)
- P6(x,y) ⇒ C5(y)
Scope notes
Examples
Additional notes
Identifier: P6
Official URI: https://ontome.net/ns/geovistory/P6
OntoME URI: https://ontome.net/ontology/p1318
Domain and range
crm:E1 CRM Entity → P6 existence is deduced from → geov:C5 Data entity (Quantifiers 0,n:0,n)
Labels
: Standard label for this language
Comments
No comment found.