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 7431-7432
(subclass ConjugatedSubstance CompoundSubstance)	Mid-level-ontology.kif 7430-7430

appearance as argument number 2

(termFormat ChineseLanguage ConjugatedSubstance "共轭物质")	domainEnglishFormat.kif 16647-16647
(termFormat ChineseTraditionalLanguage ConjugatedSubstance "共軛物質")	domainEnglishFormat.kif 16646-16646
(termFormat EnglishLanguage ConjugatedSubstance "conjugated substance")	domainEnglishFormat.kif 16645-16645

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 7434-7444