(subclass QuintaryPredicate Predicate) | Merge.kif 3526-3526 | Quintary predicate is a subclass of predicate |
(subclass QuintaryPredicate QuintaryRelation) | Merge.kif 3527-3527 | Quintary predicate is a subclass of quintary relation |
(subclass QuintaryPredicate InheritableRelation) | Merge.kif 3528-3528 | Quintary predicate is a subclass of inheritable relation |
![]() |