No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28807-28807 |
锕 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27473-27473 |
铝 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28913-28913 |
銤 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28107-28107 |
锑 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27556-27556 |
氩 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27804-27804 |
砷 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28740-28740 |
砹 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1108-1108 |
原子 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28201-28201 |
钡 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28947-28947 |
锫 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27313-27313 |
铍 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28705-28705 |
铋 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27329-27329 |
硼 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27835-27835 |
溴 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28059-28059 |
镉 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28175-28175 |
铯 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27587-27587 |
钙 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28964-28964 |
锎 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27348-27348 |
碳 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28237-28237 |
铈 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27539-27539 |
氯 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27661-27661 |
铬 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27707-27707 |
钴 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27738-27738 |
铜 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28930-28930 |
锔 是 元素物质 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |