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