P127 a pour terme général (a pour terme spécifique)

Date de création : 2024-08-28

Dernière mise à jour : 2024-08-28

Domaine	E55 Type	E55_Type
Portée	E55 Type	E55_Type
Sous-propriété de
Super-propriété de
Quantification	many to many (0,n:0,n)	plusieurs à plusieurs (0,n:0,n)
Note d’application	This property associates an instance of E55 Type with another instance of E55 Type that has a broader meaning. It allows instances of E55 Types to be organised into hierarchies. This is the sense of “broader term generic (BTG)” as defined in ISO 25964-2:2013 (International Organization for Standardization 2013). This property is transitive. This property is asymmetric.	Cette propriété associe une instance de E55_Type à une autre instance de E55_Type qui a une signification plus générale. Cette propriété permet aux instances de E55_Type d’être organisées en hiérarchies. Cela explique le sens du « terme générique (général) (TGG) » tel que défini par la norme ISO 25964-2:2013 (International Organization for Standardization, 2013). Cette propriété est transitive et asymétrique.
Exemples	dime (E55) has broader term coin (E55). (Yerkes, 1989)	La pièce de dix cents (E55_Type) a pour terme général (P127_a_pour_terme_général) monnaie (E55_Type) (Yerkes, 1989)
Logique	P127(x,y) ⇒ E55(x) P127(x,y) ⇒ E55(y) [P127(x,y) ∧ P127(y,z)] ⇒ P127(x,z) P127(x,y) ⇒ ¬P127(y,x)	P127(x,y) ⇒ E55(x) P127(x,y) ⇒ E55(y) [P127(x,y) ∧ P127(y,z)] ⇒ P127(x,z) P127(x,y) ⇒ ¬P127(y,x)
Propriétés
Note de traduction
Références