| Carbon(碳)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27351-27351 | 6 是 碳 的 atomic 数字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29192-29192 | 5100.0 凯文度 是 碳 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27359-27364 | |
| 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 29191-29191 | 3823.0 凯文度 是 碳 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1804-1804 | 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 27349-27349 | "Carbon" 的名 是 碳 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31455-31455 | roomTempState 碳 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27348-27348 | 碳 是 元素物质 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27350-27350 | 碳 是 "C" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8766-8766 | 钻石 是 碳 的 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 27353-27357 |
| 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 8563-8570 | |
| 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 8587-8593 |
|
|
|