No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27854-27854 |
36 是 氪 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29252-29252 |
120.85 凯文度 是 氪 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27862-27869 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2244-2244 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1828-1828 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1151-1151 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29251-29251 |
116.55 凯文度 是 氪 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27852-27852 |
"Krypton" 的名 是 氪 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31486-31486 |
roomTempState 氪 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27851-27851 |
氪 是 元素物质 的 subclass |