TreeView Knowledge Base Browser

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	conjugate は 2進述語の 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

conjugate 合成物質 and 合成物質
正の整数正の整数 protonNumber 合成物質 and 正の整数 protonNumber 合成物質 and 正の整数 equal 正の整数 and ( 正の整数 + 1) equal 正の整数 and ( 正の整数 + 1)

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

KB Term:			Term intersection

English Word: