No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28212-28212 |
54 is an atomic number of xenon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29339-29339 |
166.1 Kelvin degree(s) is a boiling point of xenon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28220-28224 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2426-2426 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2065-2065 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1289-1289 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29338-29338 |
161.3 Kelvin degree(s) is a melting point of xenon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28210-28210 |
"Xenon" has name xenon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31536-31536 |
roomTempState xenon and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28209-28209 |
Xenon is a subclass of elemental substance |