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 7412-7413
(subclass ConjugatedSubstance CompoundSubstance)	Mid-level-ontology.kif 7411-7411

appearance as argument number 2

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

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 7415-7425