No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27369-27369 |
7 是 氮 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29194-29194 |
77.4 凯文度 是 氮 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27377-27382 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1868-1868 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29193-29193 |
63.29 凯文度 是 氮 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7213-7213 |
molecularRatio 氮, 1 and 一氧化氮 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7238-7238 |
molecularRatio 氮, 1 and 二氧化氮 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27367-27367 |
"Nitrogen" 的名 是 氮 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31457-31457 |
roomTempState 氮 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27366-27366 |
氮 是 元素物质 的 subclass |