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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganicCompound

Sigma KEE - OrganicCompound
OrganicCompound

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


(documentation OrganicCompound EnglishLanguage "Any CompoundSubstance that has a Carbon base.") Mid-level-ontology.kif 8163-8164
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8162-8162

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


(subclass Alcohol OrganicCompound) Mid-level-ontology.kif 8215-8215
(subclass AminoAcid OrganicCompound) Mid-level-ontology.kif 8299-8299
(subclass Hydrocarbon OrganicCompound) Mid-level-ontology.kif 8186-8186
(subclass Steroid OrganicCompound) Mid-level-ontology.kif 8181-8181
(subclass Urea OrganicCompound) Mid-level-ontology.kif 8175-8175
(termFormat ChineseLanguage OrganicCompound "有机化合物") domainEnglishFormat.kif 42451-42451
(termFormat ChineseTraditionalLanguage OrganicCompound "有機化合物") domainEnglishFormat.kif 42450-42450
(termFormat EnglishLanguage OrganicCompound "organic compound") domainEnglishFormat.kif 42449-42449

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


(=>
    (and
        (instance ?COMPOUND OrganicCompound)
        (instance ?COMPOUND Molecule))
    (exists (?CARBON)
        (and
            (instance ?CARBON Carbon)
            (part ?CARBON ?COMPOUND))))
Mid-level-ontology.kif 8166-8173

consequent
-------------------------


(=>
    (instance ?PP PetroleumProduct)
    (exists (?O)
        (and
            (instance ?O OrganicCompound)
            (part ?O ?PP))))
Mid-level-ontology.kif 1635-1640


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners