No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27412-27412 |
10 是 氖 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29188-29188 |
27.1 凯文度 是 氖 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27420-27425 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1864-1864 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2265-2265 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29187-29187 |
24.48 凯文度 是 氖 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27410-27410 |
"Neon" 的名 是 氖 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31456-31456 |
roomTempState 氖 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27409-27409 |
氖 是 元素物质 的 subclass |