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

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

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments