No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22790-22791 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22795-22795 |
域 抽象的部分, 1 and Abstract |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22796-22796 |
域 抽象的部分, 2 and Abstract |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22794-22794 |
例 抽象的部分 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22793-22793 |
例 抽象的部分 and PartialOrderingRelation |