No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28748-28748 |
atomicNumber Radon and 86 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29340-29340 |
boilingPoint Radon and 211.4 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28756-28761 |
|
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 29339-29339 |
meltingPoint Radon and 202.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28746-28746 |
"Radon" s'appele nom Radon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31532-31532 |
roomTempState Radon and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28745-28745 |
Radon est une sous-classe de substance �l�mentaire |