(subclass RelationExtendedToQuantities Relation) | Merge.kif 3533-3533 | 子類 RelationExtendedToQuantities and Relation |
(subclass RelationExtendedToQuantities InheritableRelation) | Merge.kif 3534-3534 | 子類 RelationExtendedToQuantities and 可繼承的關係 |
(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) | Geography.kif 642-642 | 子類 BinaryRelationExtendedToQuantities and RelationExtendedToQuantities |