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" s'appele nom 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 est une sous-classe de substance �l�mentaire |