ConjugatedSubstance - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ConjugatedSubstance CompoundSubstance)	Mid-level-ontology.kif 7562-7562	Conjugated substance is a subclass of compound substance
(documentation ConjugatedSubstance EnglishLanguage "A CompoundSubstance that results from the ChemicalSynthesis of two or more CompoundSubstances.")	Mid-level-ontology.kif 7563-7564	Conjugated substance is a subclass of compound substance

appearance as argument number 2

(termFormat EnglishLanguage ConjugatedSubstance "conjugated substance")	domainEnglishFormat.kif 16632-16632
(termFormat ChineseTraditionalLanguage ConjugatedSubstance "共軛物質")	domainEnglishFormat.kif 16633-16633
(termFormat ChineseLanguage ConjugatedSubstance "共轭物质")	domainEnglishFormat.kif 16634-16634

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))))

All of the following hold: (1) X is an instance of conjugated substance if (2) only if there exist Y, Z (3) W such that Y is an instance of compound substance (4) Z is an instance of compound substance (5) equal Y (6) Z (7) W is an instance of chemical synthesis (8) Y is a resource for W (9) Z is a resource for W (10) X is a result of W