(subclass RelationExtendedToQuantities Relation) | Merge.kif 3533-3533 | 数量に拡張された関係 は 関係 の subclass では %n |
(subclass RelationExtendedToQuantities InheritableRelation) | Merge.kif 3534-3534 | 数量に拡張された関係 は InheritableRelation の subclass では %n |
(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) | Geography.kif 642-642 | BinaryRelationExtendedToQuantities は 数量に拡張された関係 の subclass では %n |