No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27339-27339 |
6 is an atomic number of carbon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29180-29180 |
5100.0 Kelvin degree(s) is a boiling point of carbon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27347-27352 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1688-1688 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29179-29179 |
3823.0 Kelvin degree(s) is a melting point of carbon |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1810-1810 |
The number of molecules of carbon in a molecule of freon-12 is 1 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5877-5877 |
The number of molecules of carbon in a molecule of SodiumLactate is 3 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27337-27337 |
"Carbon" has name carbon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31451-31451 |
roomTempState carbon and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27336-27336 |
Carbon is a subclass of elemental substance |