No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27475-27475 |
10 is an atomic number of neon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29251-29251 |
27.1 Kelvin degree(s) is a boiling point of neon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27483-27488 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1864-1864 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2265-2265 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
24.48 Kelvin degree(s) is a melting point of neon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27473-27473 |
"Neon" has name neon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31492-31492 |
roomTempState neon and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27472-27472 |
Neon is a subclass of elemental substance |