has definition (is definition of) – P18

This property does not yet have the minimum number of validated parts required for publication.

P18 has definition (is definition of)

Domain:

crm:E1 CRM Entity

Range:

geov:C16 Text

Quantification:

1,1:1,n

Subproperty of:

Scope note:

This property associates to an entity a definition which describes the essential elements allowing its identification

Examples:

No example yet.

In First Order Logic:

  • P18(x,y) ⇒ E1(x)
  • P18(x,y) ⇒ C16(y)
  • P18(x,y) ⇒ P18(x,y)

Scope notes

Examples

Additional notes

Identifier: P18

Official URI: https://ontome.net/ns/geovistory/P18
OntoME URI: https://ontome.net/ontology/p1762

Domain and range

crm:E1 CRM Entity → P18 has definition (is definition of) → geov:C16 Text  (Quantifiers 1,1:1,n)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments