Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - conjugate
conjugate

appearance as argument number 1
-------------------------


(instance conjugate BinaryPredicate) Mid-level-ontology.kif 7445-7445 conjugate is an instance of binary predicate
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 7446-7446 conjugate is an instance of irreflexive relation
(instance conjugate SymmetricRelation) Mid-level-ontology.kif 7447-7447 conjugate is an instance of symmetric relation
(instance conjugate TransitiveRelation) Mid-level-ontology.kif 7448-7448 conjugate is an instance of transitive relation
(instance conjugate PartialValuedRelation) Mid-level-ontology.kif 7449-7449 conjugate is an instance of partial valued relation
(domain conjugate 1 CompoundSubstance) Mid-level-ontology.kif 7450-7450 The number 1 argument of conjugate is an instance of compound substance
(domain conjugate 2 CompoundSubstance) Mid-level-ontology.kif 7451-7451 The number 2 argument of conjugate is an instance of compound substance
(documentation conjugate EnglishLanguage "(conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that one has one more Proton than the other.") Mid-level-ontology.kif 7452-7454 The number 2 argument of conjugate is an instance of compound substance

appearance as argument number 2
-------------------------


(format EnglishLanguage conjugate "%2 is %n a conjugate of %1") domainEnglishFormat.kif 526-526
(format ChineseTraditionalLanguage conjugate "%2 %n 是 %1 的 conjugate ") domainEnglishFormat.kif 527-527
(format ChineseLanguage conjugate "%2 %n 是 %1 的 conjugate ") domainEnglishFormat.kif 528-528
(termFormat EnglishLanguage conjugate "conjugate") domainEnglishFormat.kif 16626-16626
(termFormat ChineseTraditionalLanguage conjugate "共軛") domainEnglishFormat.kif 16627-16627
(termFormat ChineseLanguage conjugate "共轭") domainEnglishFormat.kif 16628-16628

antecedent
-------------------------


(=>
    (conjugate ?COMPOUND1 ?COMPOUND2)
    (exists (?NUMBER1 ?NUMBER2)
        (and
            (protonNumber ?COMPOUND1 ?NUMBER1)
            (protonNumber ?COMPOUND2 ?NUMBER2)
            (or
                (equal ?NUMBER1
                    (AdditionFn ?NUMBER2 1))
                (equal ?NUMBER2
                    (AdditionFn ?NUMBER1 1))))))		 Mid-level-ontology.kif 7456-7464 If X is a conjugate of Y, then there exist Z and W such that Z is a proton number of Y and W is a proton number of X and equal Z and (W and 1) or equal W and (Z and 1)


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners