has manifestation singleton type – histP20

histP20 has manifestation singleton type

Quantification:

No quantifiers yet.

Scope note:

Associates a manifestation singleton with the type which defines its identity

Examples:

No example yet.

In First Order Logic:

  • histP20(x,y) ⊃ F4(x)
  • histP20(x,y) ⊃ histC17(y)
  • histP20(x,y) ⊃ P2(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
Associates a manifestation singleton with the type which defines its identity en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Domain and range

F4 Manifestation Singleton → histP20 has manifestation singleton type → histC17 Manifestation singleton type

Labels

Label Language Last updated View details Comments
has manifestation singleton type en 2018-11-12 0

Namespace

Namespace Last updated
Data for History ontology, v.0.1 ongoing 2019-05-14

Parent properties

Property identifier Justification Root namespace View association
P2 has type CIDOC CRM

Ancestor properties

Property identifier Depth Root namespace
topObjectProperty 2 The OWL 2 Schema vocabulary

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated
geoVistory Basic Profile 2019-06-19
geoVistory Technical Profile 2019-06-19

Comments