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 6475-6476
(subclass ConjugatedSubstance CompoundSubstance)	Mid-level-ontology.kif 6474-6474	ConjugatedSubstance ist eine teilkategorie von CompoundSubstance

appearance as argument number 2

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

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 6478-6488

Entity ist ein fall von ConjugatedSubstance %n{nicht} genau dann wenn es gibt Object, ** Object, and und Process um ** Object ist ein fall von CompoundSubstance %n{nicht} und ** ** Object ist ein fall von CompoundSubstance %n{nicht} und ** Object ist gleich ** ** Object nicht und ** Process ist ein fall von ChemicalSynthesis %n{nicht} und ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** ** Object ist ein hilfmittel fuer ** Process %n{nicht} und ** Entity ist ein resultat von ** Process %n{nicht}