| Carbon
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Carbon 6) | Mid-level-ontology.kif 27635-27635 | |
| (boilingPoint Carbon (MeasureFn 5100.0 KelvinDegree)) |
Mid-level-ontology.kif 29476-29476 | |
| (documentation Carbon EnglishLanguage "Carbon is a member of group 14 of the periodic table. It has three allotropic forms of it, diamonds, graphite and fullerite. Carbon-14 is commonly used in radioactive dating. Carbon occurs in all organic life and is the basis of organic chemistry. Carbon has the interesting chemical property of being able to bond with itself, and a wide variety of other elements.") | Mid-level-ontology.kif 27643-27648 | |
| (externalImage Carbon "http://upload.wikimedia.org/wikipedia/commons/8/8b/ C-TableImage.png") | pictureList.kif 1687-1687 | |
| (meltingPoint Carbon (MeasureFn 3823.0 KelvinDegree)) |
Mid-level-ontology.kif 29475-29475 | |
| (molecularRatio Carbon 1 Freon12) | Cars.kif 1787-1787 | |
| (molecularRatio Carbon 3 SodiumLactate) | Medicine.kif 5877-5877 | |
| (names Carbon "Carbon") | Mid-level-ontology.kif 27633-27633 | |
| (roomTempState Carbon Solid) | Mid-level-ontology.kif 31720-31720 | |
| (subclass Carbon ElementalSubstance) | Mid-level-ontology.kif 27632-27632 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "C" Carbon) | Mid-level-ontology.kif 27634-27634 | |
| (subclass Diamond Carbon) | Mid-level-ontology.kif 8984-8984 | |
| (termFormat ChineseLanguage Carbon "碳") | domainEnglishFormat.kif 13151-13151 | |
| (termFormat ChineseTraditionalLanguage Carbon "碳") | domainEnglishFormat.kif 13150-13150 | |
| (termFormat EnglishLanguage Carbon "carbon") | domainEnglishFormat.kif 13149-13149 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu))) |
Mid-level-ontology.kif 27637-27641 |
| consequent |
|
|
| (=> (and (instance ?CD CarbonDioxide) (instance ?CD Molecule)) (exists (?C ?O1 ?O2) (and (instance ?C Carbon) (instance ?O1 Oxygen) (instance ?O2 Oxygen) (instance ?C Atom) (instance ?O1 Atom) (instance ?O2 Atom) (part ?C ?CD) (part ?O1 ?CD) (part ?O2 ?CD) (not (equal ?O1 ?O2))))) |
Food.kif 3414-3429 | |
| (=> (and (instance ?COMPOUND OrganicCompound) (instance ?COMPOUND Molecule)) (exists (?CARBON) (and (instance ?CARBON Carbon) (part ?CARBON ?COMPOUND)))) |
Mid-level-ontology.kif 8781-8788 | |
| (=> (and (instance ?X Hydrocarbon) (instance ?X Molecule)) (exists (?Y ?Z) (and (instance ?Y Hydrogen) (instance ?Z Carbon) (part ?Y ?X) (part ?Z ?X)))) |
naics.kif 3036-3045 | |
| (=> (instance ?S Hydrocarbon) (exists (?P1 ?P2) (and (equal ?S (MereologicalSumFn ?P1 ?P2)) (instance ?P1 Carbon) (instance ?P2 Hydrogen)))) |
Mid-level-ontology.kif 8805-8811 |
|
|
|