(subclass RelationExtendedToQuantities Relation) | Merge.kif 3533-3533 | |
(subclass RelationExtendedToQuantities InheritableRelation) | Merge.kif 3534-3534 | |
(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) | Geography.kif 642-642 |