OrganicCompound - Sigma Knowledge base Browser

appearance as argument number 1

(documentation OrganicCompound EnglishLanguage "Any CompoundSubstance that has a Carbon base.")	Mid-level-ontology.kif 8587-8588
(subclass OrganicCompound CompoundSubstance)	Mid-level-ontology.kif 8586-8586	OrganicCompound ist eine teilkategorie von CompoundSubstance

appearance as argument number 2

(subclass Alcohol OrganicCompound)	Mid-level-ontology.kif 8639-8639	Alcohol ist eine teilkategorie von OrganicCompound
(subclass AminoAcid OrganicCompound)	Mid-level-ontology.kif 8723-8723	AminoAcid ist eine teilkategorie von OrganicCompound
(subclass Hydrocarbon OrganicCompound)	Mid-level-ontology.kif 8610-8610	Hydrocarbon ist eine teilkategorie von OrganicCompound
(subclass Steroid OrganicCompound)	Mid-level-ontology.kif 8605-8605	Steroid ist eine teilkategorie von OrganicCompound
(subclass Urea OrganicCompound)	Mid-level-ontology.kif 8599-8599	Urea ist eine teilkategorie von OrganicCompound
(subclass WoodProduct OrganicCompound)	Economy.kif 5225-5225	WoodProduct ist eine teilkategorie von OrganicCompound
(termFormat ChineseLanguage OrganicCompound "有机化合物")	domainEnglishFormat.kif 42476-42476
(termFormat ChineseTraditionalLanguage OrganicCompound "有機化合物")	domainEnglishFormat.kif 42475-42475
(termFormat EnglishLanguage OrganicCompound "organic compound")	domainEnglishFormat.kif 42474-42474

antecedent

(=>
    (and
        (instance ?COMPOUND OrganicCompound)
        (instance ?COMPOUND Molecule))
    (exists (?CARBON)
        (and
            (instance ?CARBON Carbon)
            (part ?CARBON ?COMPOUND))))

Mid-level-ontology.kif 8590-8597

Wenn Object ist ein fall von OrganicCompound %n{nicht} und ** Object ist ein fall von Molecule %n{nicht},
dann es gibt ** Object um ** ** Object ist ein fall von Carbon %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}

consequent

(=>
    (instance ?PP PetroleumProduct)
    (exists (?O)
        (and
            (instance ?O OrganicCompound)
            (part ?O ?PP))))

Mid-level-ontology.kif 1673-1678

Wenn Object ist ein fall von PetroleumProduct %n{nicht},
dann es gibt ** Object um ** ** Object ist ein fall von OrganicCompound %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}