defines place – Q10

Q10 defines place

Quantification:

1,n:1,1

Scope note:

This property associates an instance of SP5 Geometric Place Expression with the instance of SP6 Declarative Place it defines. Syntactic variants or use of different scripts may result in multiple instances of SP5 Geometric Place Expression defining exactly the same place. Transformations between different reference systems in general result in new definitions of places approximating each other.

Examples:

No example yet.

In First Order Logic:

  • Q10(x,y) ⇒ SP5(x)
  • Q10(x,y) ⇒ SP6(y)

Scope notes

Show Scope note Language Namespace View details Comments
This property associates an instance of SP5 Geometric Place Expression with the instance of SP6 Declarative Place it defines. Syntactic variants or use of different scripts may result in multiple instances of SP5 Geometric Place Expression defining exactly the same place. Transformations between different reference systems in general result in new definitions of places approximating each other. en CRMgeo version 1.2 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: Q10

Official URI: http://www.ics.forth.gr/isl/CRMgeo/Q10_defines_place
OntoME URI: https://ontome.net/ontology/p1056

Domain and range

crmgeo:SP5 Geometric Place Expression → Q10 defines place → crmgeo:SP6 Declarative Place  (Quantifiers 1,n:1,1)

Labels

Label Language Last updated View details Comments
defines place * en 2021-06-10 0

: Standard label for this language

Namespace

Namespace Last updated
CRMgeo version 1.2 2020-09-02

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated

Comments