No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27838-27838 |
35 是 溴 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
331.93 凯文度 是 溴 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27846-27849 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2123-2123 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1674-1674 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1055-1055 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29249-29249 |
265.9 凯文度 是 溴 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27836-27836 |
"Bromine" 的名 是 溴 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31485-31485 |
roomTempState 溴 and 液体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27835-27835 |
溴 是 元素物质 的 subclass |