TreeView Knowledge Base Browser

appearance as argument number 1

(documentation protonNumber EnglishLanguage "(protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER.")	Mid-level-ontology.kif 21712-21713
(domain protonNumber 1 PureSubstance)	Mid-level-ontology.kif 21710-21710	质子数的 1 数量是純物质的 instance
(domain protonNumber 2 PositiveInteger)	Mid-level-ontology.kif 21711-21711	质子数的 2 数量是正整数的 instance
(instance protonNumber BinaryPredicate)	Mid-level-ontology.kif 21707-21707	质子数是二元谓语的 instance
(instance protonNumber SingleValuedRelation)	Mid-level-ontology.kif 21708-21708	质子数是单值关系的 instance
(instance protonNumber TotalValuedRelation)	Mid-level-ontology.kif 21709-21709	质子数是总值关系的 instance

appearance as argument number 2

(format ChineseLanguage protonNumber "%2 %n 是 %1 的 proton 号码")	domainEnglishFormat.kif 2075-2075
(format ChineseTraditionalLanguage protonNumber "%2 %n 是 %1 的 proton 號碼")	domainEnglishFormat.kif 2074-2074
(format EnglishLanguage protonNumber "%2 is %n a proton number of %1")	domainEnglishFormat.kif 2073-2073
(termFormat ChineseLanguage protonNumber "质子数")	domainEnglishFormat.kif 47878-47878
(termFormat ChineseTraditionalLanguage protonNumber "質子數")	domainEnglishFormat.kif 47877-47877
(termFormat EnglishLanguage protonNumber "proton number")	domainEnglishFormat.kif 47876-47876

antecedent

(=>
    (protonNumber ?SUBSTANCE ?NUMBER)
    (=>
        (exists (?ATOM)
            (and
                (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 21715-21730

如果正整数是純物质的 proton 号码，
然后
- 如果有存在客体这样那个客体是那个純物质的 part 和那个客体是原子的 instance 或那个客体是分子的 instance，
- 然后有存在符号串这样那个正整数 equal 那个符号串所描述的类别 instance 的数量

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 6495-6503

如果复合物质是另一个复合物质的 conjugate ，
然后有存在正整数和另一个正整数这样那个正整数是那个另外复合物质的 proton 号码和那个另外正整数是那个复合物质的 proton 号码和那个正整数 equal (那个另外正整数和 1) 或那个另外正整数 equal (那个正整数和 1)

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

KB Term:			Term intersection

English Word: