(=> (and (subrelation ?PRED1 ?PRED2) (instance ?PRED2 ?CLASS) (subclass ?CLASS InheritableRelation)) (instance ?PRED1 ?CLASS)) |
Merge.kif 200-205 | |
(subrelation subField subclass) | Mid-level-ontology.kif 21338-21338 | |
(subrelation subset subclass) | Merge.kif 5391-5391 |