No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27332-27332 |
5 是 硼 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29190-29190 |
2823.0 凯文度 是 硼 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27340-27346 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1672-1672 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1053-1053 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29189-29189 |
2573.0 凯文度 是 硼 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27330-27330 |
"Boron" 的名 是 硼 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31454-31454 |
roomTempState 硼 and 液体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27329-27329 |
硼 是 元素物质 的 subclass |