P127 has broader term (has narrower term) in version 7.1.1

Domain:
E55 Type
Range:
E55 Type
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
Quantification:
many to many (0,n,0,n)
Scope Note:

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.

Examples:
  • dime (E55) has broader term coin (E55). (Yerkes, 1989)
In First Order Logic:
P127(x,y) ⇒ E55(x), P127(x,y) ⇒ E55(y), [P127(x,y) ∧ P127(y,z)] ⇒ P127(x,z)