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

Formal Language: 


KB Term:  Term intersection
English Word: 

  conjugate

Sigma KEE - conjugate
conjugate

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


(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 7434-7436
(domain conjugate 1 CompoundSubstance) Mid-level-ontology.kif 7432-7432 conjugate の数値 1 引数は 合成物質instance では
(domain conjugate 2 CompoundSubstance) Mid-level-ontology.kif 7433-7433 conjugate の数値 2 引数は 合成物質instance では
(instance conjugate BinaryPredicate) Mid-level-ontology.kif 7427-7427 conjugate2進述語instance では
(instance conjugate IrreflexiveRelation) Mid-level-ontology.kif 7428-7428 conjugate非反射関係instance では
(instance conjugate PartialValuedRelation) Mid-level-ontology.kif 7431-7431 conjugate部分的価値関係instance では
(instance conjugate SymmetricRelation) Mid-level-ontology.kif 7429-7429 conjugate対称関係 instance では
(instance conjugate TransitiveRelation) Mid-level-ontology.kif 7430-7430 conjugate推移関係instance では

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


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

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 7438-7446


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

Show without tree


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