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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - protonNumber
protonNumber

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 19521-19522
(domain protonNumber 1 PureSubstance) Mid-level-ontology.kif 19519-19519 domain protonNumber, 1 and PureSubstance
(domain protonNumber 2 PositiveInteger) Mid-level-ontology.kif 19520-19520 domain protonNumber, 2 and PositiveInteger
(instance protonNumber BinaryPredicate) Mid-level-ontology.kif 19516-19516 instance protonNumber and BinaryPredicate
(instance protonNumber SingleValuedRelation) Mid-level-ontology.kif 19517-19517 instance protonNumber and SingleValuedRelation
(instance protonNumber TotalValuedRelation) Mid-level-ontology.kif 19518-19518 instance protonNumber and TotalValuedRelation

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 47804-47804
(termFormat ChineseTraditionalLanguage protonNumber "質子數") domainEnglishFormat.kif 47803-47803
(termFormat EnglishLanguage protonNumber "proton number") domainEnglishFormat.kif 47802-47802

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


(=>
    (protonNumber ?SUBSTANCE ?NUMBER)
    (=>
        (and
            (part ?ATOM ?SUBSTANCE)
            (or
                (instance ?ATOM Atom)
                (instance ?ATOM Molecule)))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?PROTON
                    (and
                        (part ?PROTON ?ATOM)
                        (instance ?PROTON Proton)))))))
Mid-level-ontology.kif 19524-19535

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 6195-6203


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