ConjugatedSubstance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ConjugatedSubstance EnglishLanguage "A CompoundSubstance that results from the ChemicalSynthesis of two or more CompoundSubstances.")	Mid-level-ontology.kif 6469-6470
(subclass ConjugatedSubstance CompoundSubstance)	Mid-level-ontology.kif 6468-6468

appearance as argument number 2

(termFormat ChineseLanguage ConjugatedSubstance "共轭物质")	domainEnglishFormat.kif 16643-16643
(termFormat ChineseTraditionalLanguage ConjugatedSubstance "共軛物質")	domainEnglishFormat.kif 16642-16642
(termFormat EnglishLanguage ConjugatedSubstance "conjugated substance")	domainEnglishFormat.kif 16641-16641

antecedent

(<=>
    (instance ?CS ConjugatedSubstance)
    (exists (?C1 ?C2 ?P)
        (and
            (instance ?C1 CompoundSubstance)
            (instance ?C2 CompoundSubstance)
            (not
                (equal ?C1 ?C2))
            (instance ?P ChemicalSynthesis)
            (resource ?P ?C1)
            (resource ?P ?C2)
            (result ?P ?CS))))

Mid-level-ontology.kif 6472-6482