P44 a pour état matériel (est l'état matériel de)

Date de création : 2020-05-03

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

Domaine	E18 Physical Thing	E18_Chose_matérielle
Portée	Ε3 Condition State	E3_État_matériel
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 E3 Condition State for some E18 Physical Thing. This property is a shortcut of the more fully developed path from E18 Physical Thing through P34i was assessed by, E14 Condition Assessment, P35 has identified, to E3 Condition State. It offers no information about how and when the E3 Condition State was established, nor by whom. An instance of Condition State is specific to an instance of E18 Physical Thing.	Cette propriété enregistre une instance de E3_État_matériel concernant une instance de E18_Chose_matérielle. Cette propriété est un raccourci du chemin sémantique suivant : E18_Chose_matérielle, P34i_a_été_évalué_par, E14_Évaluation_d’état_matériel, P35_a_identifié, E3_État_matériel. P44_a_pour_état_matériel (est_l’état_matériel_de) ne procure pas d'information sur comment, quand ou par qui a été établie l'instance de E3_État_matériel. Une instance de E3_État_matériel est spécifique à une instance de E18_Chose_matérielle.
Exemples	silver cup 232 (E22) has condition oxidation traces were present in 1997 (E3) has type (P2) oxidation traces (E55) (fictitious)	La coupe en argent « 232 » (E22_Objet_élaboré_par_l’humain) a pour état matériel (P44_a_pour_état_matériel) des traces d'oxydation présentes en 1997 (E3_État_matériel), lesquelles ont pour type (P2_a_pour_type) « traces d'oxydation » (E55_Type) (fictif)
Logique	P44(x,y) ⇒ E18(x) P44(x,y) ⇒ E3(y) P44(x,y) ⇐ (∃z) [E14(z) ˄ P34i(x,z) ˄ P35(z,y)]	P44(x,y) ⇒ E18(x) P44(x,y) ⇒ E3(y) P44(x,y) ⇐ (∃z) [E14(z) ˄ P34i(x,z) ˄ P35(z,y)]
Propriétés
Note de traduction
Références