has type – P2

P2 has type

Domain:

Range:

Quantification:

0,n:0,n

Scope note:

This property allows sub typing of CRM entities - a form of specialisation – through the use of a terminological hierarchy, or thesaurus. The CRM is intended to focus on the high-level entities and relationships needed to describe data structures. Consequently, it does not specialise entities any further than is required for this immediate purpose. However, entities in the isA hierarchy of the CRM may by specialised into any number of sub entities, which can be defined in the E55 Type hierarchy. E51 Contact Point, for example, may be specialised into “e-mail address”, “telephone number”, “post office box”, “URL” etc. none of which figures explicitly in the CRM hierarchy. Sub typing obviously requires consistency between the meaning of the terms assigned and the more general intent of the CRM entity in question.

Examples:

No example yet.

In First Order Logic:

  • P2(x,y) ⊃ E1(x)
  • P2(x,y) ⊃ E55(y)
  • P2(x,y) ⊃ topObjectProperty(x,y)

Scope Notes

Show Scope note Language Namespace View details and comments
This property allows sub typing of CRM entities - a form of specialisation – through the use of a terminological hierarchy, or thesaurus. The CRM is intended to focus on the high-level entities and relationships needed to describe data structures. Consequently, it does not specialise entities any further than is required for this immediate purpose. However, entities in the isA hierarchy of the CRM may by specialised into any number of sub entities, which can be defined in the E55 Type hierarchy. E51 Contact Point, for example, may be specialised into “e-mail address”, “telephone number”, “post office box”, “URL” etc. none of which figures explicitly in the CRM hierarchy. Sub typing obviously requires consistency between the meaning of the terms assigned and the more general intent of the CRM entity in question. en WIP

Examples

Show Example Language Namespace View details and comments

Additional notes

Show Notes Language Namespace View details and comments

Domain and range

E1 CRM Entity → P2 has type → E55 Type  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details and comments
hat den Typus de 2018-09-14
έχει τύπο el 2018-09-14
has type en 2018-09-14
est de type fr 2018-09-14
é do tipo pt 2018-09-14
имеет тип ru 2018-09-14
有类型 zh 2018-09-14

Namespace

Namespace URI Last updated
http://dataforhistory.org/imported_ontology/cidoc-crm/base/6/2/ 2019-03-28

Parent properties

Property identifier Justification Root namespace View association
topObjectProperty http://dataforhistory.org/imported_ontology/owl/

Ancestor properties

Property identifier Depth Root namespace

Childs and descendant properties

Property identifier Depth Root namespace
P137 exemplifies 1 CIDOC CRM
TyRo47 a un type d'activité sociale 2 symogih.org ontology
TyRo98 est de type (type) 1 symogih.org ontology
typer_|_Célébration_religieuse_chrétienne 2 symogih.org ontology
typer_|_Procuration 2 symogih.org ontology
typer_|_Décision_(administrative,_judiciaire) 2 symogih.org ontology
typer_|_Opinion_exprimée_à_l'égard_d'un_objet 2 symogih.org ontology
typer_|_Traitement_(Rémunération) 2 symogih.org ontology
typer_|_Localisation_relative_d'un_lieu 2 symogih.org ontology
typer_|_Texte_(manuscrit_ou_imprimé) 2 symogih.org ontology
typer_|_Passage_d'un_examen 2 symogih.org ontology
typer_|_Suspension_d'activité 2 symogih.org ontology
exercé_(être)_|_Activité_d'un_acteur_collectif 3 symogih.org ontology
typer_|_Fin_de_l'existence_d'un_acteur_collectif 2 symogih.org ontology
exercé_(être)_|_Fonction_(exercice_de_la_) 3 symogih.org ontology
typer_|_Location 2 symogih.org ontology
typer_|_Exemplaire 2 symogih.org ontology
typer_|_Représentation_visuelle_multiple 2 symogih.org ontology
typer_|_Procès 2 symogih.org ontology
typer_|_Collection 2 symogih.org ontology
typer_|_Dédicace 2 symogih.org ontology
typer_|_Maladie 2 symogih.org ontology
typer_|_Don 2 symogih.org ontology
typer_|_Prière 2 symogih.org ontology
typer_|_Lecture 2 symogih.org ontology
typer_|_Document_officiel 2 symogih.org ontology
typer_|_Document_ou_acte_manuscrit 2 symogih.org ontology
typer_|_Adopter_une_doctrine 2 symogih.org ontology
typer_|_Rattachement_de_territoire 2 symogih.org ontology
typer_|_Mariage 2 symogih.org ontology
typer_|_Entretien 2 symogih.org ontology
typer_|_Séjour 2 symogih.org ontology
typer_|_Demande 2 symogih.org ontology
typer_|_Sacre 2 symogih.org ontology
typer_|_Rite_funéraire 2 symogih.org ontology
typer_|_Inspection 2 symogih.org ontology
typer_|_Réponse 2 symogih.org ontology
typer_|_Baptême 2 symogih.org ontology
typer_|_Échange 2 symogih.org ontology
typer_|_Possession 2 symogih.org ontology
typer_|_Qualification_doctrinale 2 symogih.org ontology
typer_|_Séance 2 symogih.org ontology
typer_|_Statut 2 symogih.org ontology
typer_|_Nombre 2 symogih.org ontology
typer_|_Analyse_de_contenu 2 symogih.org ontology
typer_|_Relation_entre_personnes 2 symogih.org ontology
typer_|_Vente 2 symogih.org ontology
typer_|_Événement 2 symogih.org ontology
typer_|_Représentation_visuelle_unique 2 symogih.org ontology
typer_|_Constitution_de_rente 2 symogih.org ontology
typer_|_Obligation 2 symogih.org ontology
typer_|_Métayage 2 symogih.org ontology
typer_|_Fermage 2 symogih.org ontology
typer_|_Enseignement 2 symogih.org ontology
exercé_(être)_|_Enseignement 3 symogih.org ontology
histP7 hasLocalisationType 1 Data for history
histP8 has geographical place type 1 Data for history
histP20 has manifestation singleton type 1 Data for history
histP21 has type of manifestation product type 1 Data for history
histP22 has expression type 1 Data for history
socP11 has role 1 CRMsoc. An extension of CIDOC CRM for capturing social documentation

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments