No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29326-29326 |
9 is an atomic number of fluorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31117-31117 |
85.01 Kelvin degree(s) is a boiling point of fluorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29334-29338 |
85.01 Kelvin degree(s) is a boiling point of fluorine |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1763-1763 |
85.01 Kelvin degree(s) is a boiling point of fluorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31116-31116 |
53.53 Kelvin degree(s) is a melting point of fluorine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1790-1790 |
The number of molecules of fluorine in a molecule of freon-12 is 2 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29324-29324 |
"Fluorine" has &ames$"name" Fluorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 33404-33404 |
room temperature state fluorine and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29323-29323 |
Fluorine is a subclass of elemental substance |