(subclass QuaternaryPredicate Predicate) | Merge.kif 3500-3500 | 四元谓语 是 谓语 的 subclass |
(subclass QuaternaryPredicate QuaternaryRelation) | Merge.kif 3501-3501 | 四元谓语 是 四元关系 的 subclass |
(subclass QuaternaryPredicate InheritableRelation) | Merge.kif 3502-3502 | 四元谓语 是 可继承的关系 的 subclass |