No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28811-28811 |
atomicNumber Radon and 86 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29403-29403 |
boilingPoint Radon and 211.4 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28819-28824 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1944-1944 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29402-29402 |
meltingPoint Radon and 202.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28809-28809 |
"Radon" se chama nome Radon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31568-31568 |
roomTempState Radon and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28808-28808 |
Radon e' uma sub-classe de Substancia Elementar |