| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28094-28094 |
50 是 锡 的 atomic 数字 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29280-29280 |
2543.0 凯文度 是 锡 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28102-28105 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2035-2035 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2406-2406 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1269-1269 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29279-29279 |
505.118 凯文度 是 锡 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28092-28092 |
"Tin" 的名 是 锡 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31500-31500 |
roomTempState 锡 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28091-28091 |
锡 是 元素物质 的 subclass |
