P56 a pour caractéristique (se trouve sur)

Date de création : 2023-11-08

Dernière mise à jour : 2023-12-22

Domaine

E19 Physical Object

E19_Objet_matériel

Portée

E26 Physical Feature

E26_Caractéristique_physique

Sous-propriété de

E18 Physical Thing. P46 is composed of (forms part of): E18 Physical Thing

E18_Chose_matérielle. P46_est_composé_de (fait_partie_de) : E18_Chose_matérielle

Super-propriété de

Quantification

one to many, dependent (0,n:1,1)

un à plusieurs, dépendant (0,n:1,1)

Note d’application

This property links an instance of E19 Physical Object to an instance of E26 Physical Feature that it bears.

An instance of E26 Physical Feature can only exist on one object. One object may bear more than one E26 Physical Feature. An instance of E27 Site should be considered as an instance of E26 Physical Feature on the surface of the Earth.

An instance B of E26 Physical Feature being a detail of the structure of another instance A of E26 Physical Feature can be linked to B by use of the property P46 is composed of (forms part of). This implies that the subfeature B is P56i is found on the same E19 Physical Object as A.

This property is a shortcut. A more detailed representation can make use of the fully developed (i.e., indirect) path E19 Physical Object, through, P59 has section, E53 Place, P53i is former or current location of to E26 Physical Feature.

Cette propriété lie une instance de E19_Objet_matériel à une instance de E26_Caractéristique_physique qu’elle porte.

Une instance de E26_Caractéristique_physique

peut seulement caractériser un objet. Un objet peut être porteur de plus d’une E26_Caractéristique_physique. Une instance de E27_Site devrait être considérée comme une instance de E26_Caractéristique_physique à la surface de la Terre.

Une instance B de E26_Caractéristique_physique étant un détail structurel d’une instance A de E26_Caractéristique_physique, celle-ci peut être liée à l’instance B par l’utilisation de la propriété P46_est_composé_de (fait_partie_de). Cela implique que la sous-caractéristique de l’instance B (P56i_se_trouve_sur) se trouve sur le même objet matériel (E19_Objet_matériel) que l’instance A.

Cette propriété est un raccourci du chemin sémantique suivant : E19_Objet_matériel, P59_a_pour_section (se_situe_sur_ou_dans), E53_Lieu, P53i_est_la_localisation_actuelle_ou_antérieure_de, E26_Caractéristique_physique.

Exemples

  • Silver cup 232 (E22) bears feature 32 mm scratch on silver cup 232 (E26) (fictitious)

  • La coupe en argent « 232 » (E22_Objet_élaboré_par_l’humain) a pour caractéristique (P56_a_pour_caractéristique) une rayure se trouvant sur la coupe en argent « 232 » (E26_Caractéristique_physique) (fictif)

Logique

P56(x,y) ⇒E19(x)

P56(x,y) ⇒ E26(y)

P56(x,y) ⇒ P46(x,y)

P56(x,y) ⇐ (∃z) [E53(z) ˄ P59(x,z) ˄ P53i(z,y)]

P56(x,y) ⇒E19(x)

P56(x,y) ⇒ E26(y)

P56(x,y) ⇒ P46(x,y)

P56(x,y) ⇐ (∃z) [E53(z) ˄ P59(x,z) ˄ P53i(z,y)]

Propriétés

Note de traduction

Références