No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21294-21295 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5983-5983 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6462-6462 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6464-6464 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6463-6463 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21292-21292 |
电子产品 是 工程 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21291-21291 |
电子产品 是 物理 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21293-21293 |
电子产品 是 研究领域 的 subclass |