No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28161-28161 |
54 是 氙 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29288-29288 |
166.1 凯文度 是 氙 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28169-28173 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2426-2426 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2065-2065 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1289-1289 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29287-29287 |
161.3 凯文度 是 氙 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28159-28159 |
"Xenon" 的名 是 氙 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31504-31504 |
roomTempState 氙 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28158-28158 |
氙 是 元素物质 的 subclass |