Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Carbon
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Carbon ElementalSubstance) | Mid-level-ontology.kif 29974-29974 | Carbon is a subclass of elemental substance |
| (atomicNumber Carbon 6) | Mid-level-ontology.kif 29977-29977 | 6 is an atomic number of carbon |
| (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 29985-29990 | 6 is an atomic number of carbon |
| (meltingPoint Carbon (MeasureFn 3823.0 KelvinDegree)) |
Mid-level-ontology.kif 31817-31817 | 3823.0 Kelvin degree(s) is a melting point of carbon |
| (boilingPoint Carbon (MeasureFn 5100.0 KelvinDegree)) |
Mid-level-ontology.kif 31818-31818 | 5100.0 Kelvin degree(s) is a boiling point of carbon |
| (roomTempState Carbon Solid) | Mid-level-ontology.kif 33927-33927 | room temperature state carbon and solid |
| (molecularRatio Carbon 1 Freon12) | Cars.kif 1667-1667 | The number of molecules of carbon in a molecule of freon-12 is 1 |
| (molecularRatio Carbon 3 SodiumLactate) | Medicine.kif 5908-5908 | The number of molecules of carbon in a molecule of sodium lactate is 3 |
| (externalImage Carbon "http://upload.wikimedia.org/wikipedia/commons/8/8b/ C_TableImage.png") | pictureList.kif 1687-1687 | The number of molecules of carbon in a molecule of sodium lactate is 3 |
| appearance as argument number 2 |
|
|
| (subclass Diamond Carbon) | Mid-level-ontology.kif 10133-10133 | Diamond is a subclass of carbon |
| (names "Carbon" Carbon) | Mid-level-ontology.kif 29975-29975 | Carbon has name "Carbon" |
| (conventionalShortName "C" Carbon) | Mid-level-ontology.kif 29976-29976 | Carbon is a conventional short name of "C" |
| (termFormat EnglishLanguage Carbon "carbon") | domainEnglishFormat.kif 13146-13146 | Carbon is a conventional short name of "C" |
| (termFormat ChineseTraditionalLanguage Carbon "碳") | domainEnglishFormat.kif 13147-13147 | Carbon is a conventional short name of "C" |
| (termFormat ChineseLanguage Carbon "碳") | domainEnglishFormat.kif 13148-13148 | Carbon is a conventional short name of "C" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu))) |
Mid-level-ontology.kif 29979-29983 | If X is an instance of carbon and X is an instance of atom, then the measure of X is 12.01115 amu(s) |
| consequent |
|
|
| (=> (and (instance ?COMPOUND OrganicCompound) (instance ?COMPOUND Molecule)) (exists (?CARBON) (and (instance ?CARBON Carbon) (part ?CARBON ?COMPOUND)))) |
Mid-level-ontology.kif 9922-9929 | If X is an instance of organic compound and X is an instance of molecule, then there exists Y such that Y is an instance of carbon and Y is a part of X |
| (=> (instance ?S Hydrocarbon) (exists (?P1 ?P2) (and (equal ?S (MereologicalSumFn ?P1 ?P2)) (instance ?P1 Carbon) (instance ?P2 Hydrogen)))) |
Mid-level-ontology.kif 9946-9952 | If X is an instance of hydrocarbon, then there exist Y, Z such that equal X, the union of the parts of Y, Z, Y is an instance of carbon, and Z is an instance of hydrogen |
| (=> (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 3450-3465 | If X is an instance of carbon dioxide and X is an instance of molecule, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of carbon (3) Z is an instance of oxygen (4) W is an instance of oxygen (5) Y is an instance of atom (6) Z is an instance of atom (7) W is an instance of atom (8) Y is a part of X (9) Z is a part of X (10) W is a part of X (11) equal Z (12) W |
| (=> (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 3030-3039 | If X is an instance of hydrocarbon and X is an instance of molecule, then there exist Y, Z such that Y is an instance of hydrogen, Z is an instance of carbon, Y is a part of X, and Z is a part of X |
|
