TreeView Knowledge Base Browser

appearance as argument number 2

(format EnglishLanguage protonNumber "%2 is %n a proton number of %1")	domainEnglishFormat.kif 2077-2077
(format ChineseTraditionalLanguage protonNumber "%2 %n 是 %1 的 proton 號碼")	domainEnglishFormat.kif 2078-2078
(format ChineseLanguage protonNumber "%2 %n 是 %1 的 proton 号码")	domainEnglishFormat.kif 2079-2079
(termFormat EnglishLanguage protonNumber "proton number")	domainEnglishFormat.kif 47869-47869
(termFormat ChineseTraditionalLanguage protonNumber "質子數")	domainEnglishFormat.kif 47870-47870
(termFormat ChineseLanguage protonNumber "质子数")	domainEnglishFormat.kif 47871-47871

antecedent

(=>
    (and
        (protonNumber ?SUBSTANCE ?NUMBER)
        (part ?ATOM ?SUBSTANCE)
        (or
            (instance ?ATOM Atom)
            (instance ?ATOM Molecule)))
    (exists (?PROTON)
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?PROTON
                    (and
                        (part ?PROTON ?ATOM)
                        (instance ?PROTON Proton)))))))

Mid-level-ontology.kif 23961-23974

If X is a proton number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W

consequent

(=>
    (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 7589-7597

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: