Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - protonNumber
protonNumber

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


(instance protonNumber BinaryPredicate) Mid-level-ontology.kif 23953-23953 proton number is an instance of binary predicate
(instance protonNumber SingleValuedRelation) Mid-level-ontology.kif 23954-23954 proton number is an instance of single valued relation
(instance protonNumber TotalValuedRelation) Mid-level-ontology.kif 23955-23955 proton number is an instance of total valued relation
(domain protonNumber 1 PureSubstance) Mid-level-ontology.kif 23956-23956 The number 1 argument of proton number is an instance of pure substance
(domain protonNumber 2 PositiveInteger) Mid-level-ontology.kif 23957-23957 The number 2 argument of proton number is an instance of positive integer
(documentation protonNumber EnglishLanguage "(protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER.") Mid-level-ontology.kif 23958-23959 The number 2 argument of proton number is an instance of positive integer

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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners