(subclass ObjectAttitude IntentionalRelation) | Merge.kif 2708-2708 | Attitude d'objet est une sous-classe de IntentionalRelation |
(subclass ObjectAttitude InheritableRelation) | Merge.kif 2709-2709 | Attitude d'objet est une sous-classe de InheritableRelation |