P43 a pour dimension (est la dimension de)

Date de création : 2023-11-08

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

Domaine	E70 Thing	E70_Chose
Portée	E54 Dimension	E54_Dimension
Sous-propriété de
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 records an instance of E54 Dimension of some instance of E70 Thing. In the case that the recorded property is a result of a measurement of an instance of E18 Physical Thing, this property is a shortcut of the more fully developed path from E18 Physical Thing through P39i was measured by, E16 Measurement, P40 observed dimension to E54 Dimension. It offers no information about how and when an E54 Dimension was established, nor by whom. Knowledge about an instance of E54 Dimension need not be the result of a measurement; it may be the result of evaluating data or other information, which should be documented as an instance of E13 Attribute Assignment. An instance of E54 Dimension is specific to an instance of E70 Thing.	Cette propriété enregistre une instance de E54_Dimension se rapportant à une instance de E70_Chose. Cette propriété est un raccourci du chemin sémantique suivant : E18_Chose_matérielle, P39i_a_été_mesuré_par, E16_Mesurage, P40_a_relevé_comme_dimension (a_été_relevé_par), E54_Dimension.  La propriété P43_a_pour_dimension (est_la_dimension_de) n'offre aucune information sur comment et quand une instance de E54_Dimension a été établie, ni par qui. La connaissance à propos d’une instance de E54_Dimension n’est pas nécessairement le résultat d’une activité de mesurage; elle peut être le résultat d’une activité d’évaluation de données ou d’autres informations. Dans ce cas, l'activité doit être documentée comme une instance de E13_Assignation_d’attribut. Une instance de E54_Dimension est spécifique à une instance de E70_Chose.
Exemples	Silver cup 232 (E22) has dimension height of silver cup 232 (E54). [which has unit (P91) mm (E58), has value (P90) 224 (E60) ] (fictitious)	La coupe en argent « 232 » (E22_Objet_élaboré_par_l’humain) a pour dimension (P43_a_pour_dimension) la hauteur de la coupe en argent « 232 » (E54_Dimension) [qui a pour unité de mesure (P91_a_pour_unité_de_mesure) « mm » (E58_Unité_de_mesure) et pour valeur (P90_a_pour_valeur) « 224 » (E60_Nombre)] (fictif)
Logique	P43(x,y) ⇒ E70(x) P43(x,y) ⇒ E54(y) P43(x,y) ⇐ (∃z) [E16(z) ˄ P39i(x,z) ˄ P40(z,y)]	P43(x,y) ⇒ E70(x) P43(x,y) ⇒ E54(y) P43(x,y) ⇐ (∃z) [E16(z) ˄ P39i(x,z) ˄ P40(z,y)]
Propriétés
Note de traduction
Références