Scope note:
This property identifies a super-Type to which an E55 Type is related.
It allows Types to be organised into hierarchies. This is the sense of "broader term generic (BTG)" as defined in ISO 2788
Examples:
- dime (E55) has broader term coin (E55)
In First Order Logic:
P127(x,y) ⊃ E55(x)
P127(x,y) ⊃ E55(y)