No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27476-27476 |
atomicNumber Aluminum and 13 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29206-29206 |
boilingPoint Aluminum and 2740.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27484-27489 |
|
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 29205-29205 |
meltingPoint Aluminum and 933.52 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27474-27474 |
"Aluminum" s'appele nom Aluminum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31463-31463 |
roomTempState Aluminum and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27473-27473 |
Aluminum est une sous-classe de substance �l�mentaire |