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 8559-8560
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8558-8558 子類 有機化合物 and CompoundSubstance

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


(subclass Alcohol OrganicCompound) Mid-level-ontology.kif 8611-8611 子類 and 有機化合物
(subclass AminoAcid OrganicCompound) Mid-level-ontology.kif 8695-8695 子類 氨基酸 and 有機化合物
(subclass Hydrocarbon OrganicCompound) Mid-level-ontology.kif 8582-8582 子類 and 有機化合物
(subclass Steroid OrganicCompound) Mid-level-ontology.kif 8577-8577 子類 類固醇 and 有機化合物
(subclass Urea OrganicCompound) Mid-level-ontology.kif 8571-8571 子類 尿素 and 有機化合物
(subclass WoodProduct OrganicCompound) Economy.kif 5225-5225 子類 WoodProduct and 有機化合物
(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 8562-8569

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