(subclass RelationExtendedToQuantities Relation) | Merge.kif 3533-3533 | Relation �tendue aux quantit�es est une sous-classe de relation |
(subclass RelationExtendedToQuantities InheritableRelation) | Merge.kif 3534-3534 | Relation �tendue aux quantit�es est une sous-classe de InheritableRelation |
(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) | Geography.kif 642-642 | BinaryRelationExtendedToQuantities est une sous-classe de relation �tendue aux quantit�es |