(subclass BinaryPredicate Predicate) | Merge.kif 3478-3478 | 2進述語 は 述語 の subclass では %n |
(subclass BinaryPredicate BinaryRelation) | Merge.kif 3479-3479 | 2進述語 は 2項関係 の subclass では %n |
(subclass BinaryPredicate InheritableRelation) | Merge.kif 3480-3480 | 2進述語 は InheritableRelation の subclass では %n |
(subclass CaseRole BinaryPredicate) | Merge.kif 2400-2400 | 格役割 は 2進述語 の subclass では %n |
(subclass BinaryRelationExtendedToQuantities BinaryPredicate) | Geography.kif 643-643 | BinaryRelationExtendedToQuantities は 2進述語 の subclass では %n |
(subclass SheddingPart BinaryPredicate) | Geography.kif 6406-6406 | SheddingPart は 2進述語 の subclass では %n |
(instance subclass BinaryPredicate) | Merge.kif 129-129 | subclass は 2進述語 の instance では %n |