OrganicCompound - Sigma Knowledge base Browser

appearance as argument number 1

(subclass OrganicCompound CompoundSubstance)	Mid-level-ontology.kif 9918-9918	Organic compound is a subclass of compound substance
(documentation OrganicCompound EnglishLanguage "Any CompoundSubstance that has a Carbon base.")	Mid-level-ontology.kif 9919-9920	Organic compound is a subclass of compound substance

appearance as argument number 2

(subclass Urea OrganicCompound)	Mid-level-ontology.kif 9931-9931	Urea is a subclass of organic compound
(subclass Steroid OrganicCompound)	Mid-level-ontology.kif 9937-9937	Steroid is a subclass of organic compound
(subclass Hydrocarbon OrganicCompound)	Mid-level-ontology.kif 9942-9942	Hydrocarbon is a subclass of organic compound
(subclass Alcohol OrganicCompound)	Mid-level-ontology.kif 9971-9971	Alcohol is a subclass of organic compound
(subclass AminoAcid OrganicCompound)	Mid-level-ontology.kif 10056-10056	Amino acid is a subclass of organic compound
(subclass WoodProduct OrganicCompound)	Economy.kif 5574-5574	Wood product is a subclass of organic compound
(termFormat EnglishLanguage OrganicCompound "organic compound")	domainEnglishFormat.kif 42467-42467	Wood product is a subclass of organic compound
(termFormat ChineseTraditionalLanguage OrganicCompound "有機化合物")	domainEnglishFormat.kif 42468-42468	Wood product is a subclass of organic compound
(termFormat ChineseLanguage OrganicCompound "有机化合物")	domainEnglishFormat.kif 42469-42469	Wood product is a subclass of organic compound

antecedent

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

If X is an instance of organic compound and X is an instance of molecule, then there exists Y such that Y is an instance of carbon and Y is a part of X

consequent

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

If X is an instance of petroleum product, then there exists Y such that Y is an instance of organic compound and Y is a part of X