(=> (and (subrelation ?PRED1 ?PRED2) (instance ?PRED2 ?CLASS) (subclass ?CLASS InheritableRelation)) (instance ?PRED1 ?CLASS)) |
Merge.kif 200-205 | |
(subrelation subField subclass) | Mid-level-ontology.kif 21339-21339 | 子關係 子領域 and 子類 |
(subrelation subset subclass) | Merge.kif 5391-5391 | 子關係 子集 and 子類 |