(subclass TernaryPredicate Predicate) | Merge.kif 3504-3504 | Ternary predicate is a subclass of predicate |
(subclass TernaryPredicate TernaryRelation) | Merge.kif 3505-3505 | Ternary predicate is a subclass of ternary relation |
(subclass TernaryPredicate InheritableRelation) | Merge.kif 3506-3506 | Ternary predicate is a subclass of inheritable relation |
![]() |