(subclass QuaternaryPredicate Predicate) | Merge.kif 3500-3500 | 子類 QuaternaryPredicate and Predicate |
(subclass QuaternaryPredicate QuaternaryRelation) | Merge.kif 3501-3501 | 子類 QuaternaryPredicate and QuaternaryRelation |
(subclass QuaternaryPredicate InheritableRelation) | Merge.kif 3502-3502 | 子類 QuaternaryPredicate and 可繼承的關係 |