No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28692-28692 |
82 是 铅 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29344-29344 |
2013.0 凯文度 是 铅 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28700-28703 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2246-2246 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1832-1832 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1155-1155 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29343-29343 |
600.65 凯文度 是 铅 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28690-28690 |
"Lead" 的名 是 铅 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31532-31532 |
roomTempState 铅 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28689-28689 |
铅 是 元素物质 的 subclass |