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 8560-8561
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8559-8559 有机化合物复合物质subclass

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


(subclass Alcohol OrganicCompound) Mid-level-ontology.kif 8612-8612 有机化合物subclass
(subclass AminoAcid OrganicCompound) Mid-level-ontology.kif 8696-8696 氨基酸有机化合物subclass
(subclass Hydrocarbon OrganicCompound) Mid-level-ontology.kif 8583-8583 有机化合物subclass
(subclass Steroid OrganicCompound) Mid-level-ontology.kif 8578-8578 类固醇有机化合物subclass
(subclass Urea OrganicCompound) Mid-level-ontology.kif 8572-8572 尿素有机化合物subclass
(subclass WoodProduct OrganicCompound) Economy.kif 5225-5225 WoodProduct有机化合物subclass
(termFormat ChineseLanguage OrganicCompound "有机化合物") domainEnglishFormat.kif 42474-42474
(termFormat ChineseTraditionalLanguage OrganicCompound "有機化合物") domainEnglishFormat.kif 42473-42473
(termFormat EnglishLanguage OrganicCompound "organic compound") domainEnglishFormat.kif 42472-42472

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


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

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


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


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