P43 a pour dimension (est la dimension de)

Date de création : 2020-05-03

Dernière mise à jour : 2023-05-25

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 a E54 Dimension of some E70 Thing. This property is a shortcut of the more fully developed path from E70 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. 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 : E70_Chose, 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. 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) 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