No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21303-21305 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9421-9421 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8593-8593 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9420-9420 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9419-9419 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21300-21300 |
力学领域 是 数学 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21301-21301 |
力学领域 是 物理 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21302-21302 |
力学领域 是 研究领域 的 subclass |