No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27681-27681 |
atomicNumber Iron and 26 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29220-29220 |
boilingPoint Iron and 3023.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27689-27693 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2239-2239 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1821-1821 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1149-1149 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29219-29219 |
meltingPoint Iron and 1808.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27679-27679 |
"Iron" se chama nome Iron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31472-31472 |
roomTempState Iron and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27678-27678 |
Iron e' uma sub-classe de Substancia Elementar |