Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Carbon
Carbon

appearance as argument number 1
-------------------------


(atomicNumber Carbon 6) Mid-level-ontology.kif 25602-25602
(boilingPoint Carbon
    (MeasureFn 5100 KelvinDegree))
Mid-level-ontology.kif 27338-27338
(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 25609-25614
(externalImage Carbon "http://upload.wikimedia.org/wikipedia/commons/8/8b/ C-TableImage.png") pictureList.kif 1689-1689
(meltingPoint Carbon
    (MeasureFn 3823 KelvinDegree))
Mid-level-ontology.kif 27337-27337
(molecularRatio Carbon 1 Freon12) Cars.kif 1799-1799
(names Carbon "Carbon") Mid-level-ontology.kif 25600-25600
(subclass Carbon ElementalSubstance) Mid-level-ontology.kif 25599-25599

appearance as argument number 2
-------------------------


(conventionalShortName "C" Carbon) Mid-level-ontology.kif 25601-25601
(subclass Diamond Carbon) Mid-level-ontology.kif 8444-8444
(termFormat ChineseLanguage Carbon "碳") domainEnglishFormat.kif 13081-13081
(termFormat ChineseTraditionalLanguage Carbon "碳") domainEnglishFormat.kif 13080-13080
(termFormat EnglishLanguage Carbon "carbon") domainEnglishFormat.kif 13079-13079

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Carbon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 12.01115 Amu)))
Mid-level-ontology.kif 25603-25607

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 890-905
(=>
    (and
        (instance ?COMPOUND OrganicCompound)
        (instance ?COMPOUND Molecule))
    (exists (?CARBON)
        (and
            (instance ?CARBON Carbon)
            (part ?CARBON ?COMPOUND))))
Mid-level-ontology.kif 8288-8295
(=>
    (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 3043-3052
(=>
    (instance ?S Hydrocarbon)
    (exists (?P1 ?P2)
        (and
            (equal ?S
                (MereologicalSumFn ?P1 ?P2))
            (instance ?P1 Carbon)
            (instance ?P2 Hydrogen))))
Mid-level-ontology.kif 8312-8318


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners