No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23725-23731 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23733-23733 |
域子類 最初包含部分, 1 and Object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23734-23734 |
域子類 最初包含部分, 2 and Object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23722-23722 |
例 最初包含部分 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23723-23723 |
例 最初包含部分 and SpatialRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23724-23724 |
相關的內部概念 最初包含部分 and 部分 |