| (subclass BinaryPredicate Predicate) | Merge.kif 3518-3518 | Binary predicate is a subclass of predicate |
| (subclass BinaryPredicate BinaryRelation) | Merge.kif 3519-3519 | Binary predicate is a subclass of binary relation |
| (subclass BinaryPredicate InheritableRelation) | Merge.kif 3520-3520 | Binary predicate is a subclass of inheritable relation |
| (subclass CaseRole BinaryPredicate) | Merge.kif 2436-2436 | Case role is a subclass of binary predicate |
| (subclass BinaryRelationExtendedToQuantities BinaryPredicate) | Geography.kif 2119-2119 | Binary relation extended to quantities is a subclass of binary predicate |
| (subclass SheddingPart BinaryPredicate) | Geography.kif 8021-8021 | Shedding part is a subclass of binary predicate |
| (instance subclass BinaryPredicate) | Merge.kif 129-129 | subclass is an instance of binary predicate |
|
|