No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28743-28743 |
atomicNumber Lead and 82 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29395-29395 |
boilingPoint Lead and 2013.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28751-28754 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2246-2246 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1832-1832 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1155-1155 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29394-29394 |
meltingPoint Lead and 600.65 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28741-28741 |
"Lead" se chama nome Lead |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31564-31564 |
roomTempState Lead and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28740-28740 |
Lead e' uma sub-classe de Substancia Elementar |