|
|
   Carbon
|
|
|
| appearance as argument number 1 |
|
|
| 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 凯文度 是 碳 的 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 凯文度 是 碳 的 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 | "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 | 碳 是 元素物质 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27338-27338 | 碳 是 "C" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8765-8765 | 钻石 是 碳 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13140-13140 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13139-13139 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13138-13138 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27341-27345 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3414-3429 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8562-8569 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3036-3045 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8586-8592 |
|
|
|
