No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27339-27339 |
6 是 碳 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29180-29180 |
測量 5100.0 and 凱文度 是 碳 的 boiling 點 |
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 and 凱文度 是 碳 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1810-1810 |
molecularRatio 碳, 1 and Freon12 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5877-5877 |
molecularRatio 碳, 3 and SodiumLactate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27337-27337 |
名 碳 and "Carbon" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31451-31451 |
roomTempState 碳 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27336-27336 |
子類 碳 and ElementalSubstance |