| (subclass BinaryPredicate Predicate) | Merge.kif 3478-3478 | BinaryPredicate ist eine teilkategorie von Predicate |
| (subclass BinaryPredicate BinaryRelation) | Merge.kif 3479-3479 | BinaryPredicate ist eine teilkategorie von BinaryRelation |
| (subclass BinaryPredicate InheritableRelation) | Merge.kif 3480-3480 | BinaryPredicate ist eine teilkategorie von InheritableRelation |
| (subclass CaseRole BinaryPredicate) | Merge.kif 2400-2400 | CaseRole ist eine teilkategorie von BinaryPredicate |
| (subclass BinaryRelationExtendedToQuantities BinaryPredicate) | Geography.kif 643-643 | BinaryRelationExtendedToQuantities ist eine teilkategorie von BinaryPredicate |
| (subclass SheddingPart BinaryPredicate) | Geography.kif 6406-6406 | SheddingPart ist eine teilkategorie von BinaryPredicate |
| (instance subclass BinaryPredicate) | Merge.kif 129-129 | subclass ist ein fall von BinaryPredicate %n{nicht} |
|
|