No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27464-27464 |
atomicNumber Aluminum and 13 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29194-29194 |
boilingPoint Aluminum and 2740.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27472-27477 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2099-2099 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1025-1025 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29193-29193 |
meltingPoint Aluminum and 933.52 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27462-27462 |
"Aluminum" se chama nome Aluminum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31459-31459 |
roomTempState Aluminum and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27461-27461 |
Aluminum e' uma sub-classe de Substancia Elementar |