No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27757-27757 |
atomicNumber Zinc and 30 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29240-29240 |
boilingPoint Zinc and 1180.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27765-27768 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2431-2431 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2069-2069 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1292-1292 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29239-29239 |
meltingPoint Zinc and 692.73 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27755-27755 |
"Zinc" se chama nome Zinc |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31480-31480 |
roomTempState Zinc and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27754-27754 |
Zinc e' uma sub-classe de Substancia Elementar |