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

Formal Language: 



KB Term:  Term intersection
English Word: 

  protonNumber

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 21685-21686
(domain protonNumber 1 PureSubstance) Mid-level-ontology.kif 21683-21683 Le nombre 1 argument de protonNumber est une instance de substance pure
(domain protonNumber 2 PositiveInteger) Mid-level-ontology.kif 21684-21684 Le nombre 2 argument de protonNumber est une instance de nombre entier positif
(instance protonNumber BinaryPredicate) Mid-level-ontology.kif 21680-21680 protonNumber est une instance de pr�dicat binaire
(instance protonNumber SingleValuedRelation) Mid-level-ontology.kif 21681-21681 protonNumber est une instance de relation simple
(instance protonNumber TotalValuedRelation) Mid-level-ontology.kif 21682-21682 protonNumber est une instance de relation total

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 47876-47876
(termFormat ChineseTraditionalLanguage protonNumber "質子數") domainEnglishFormat.kif 47875-47875
(termFormat EnglishLanguage protonNumber "proton number") domainEnglishFormat.kif 47874-47874

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 21688-21703

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 6501-6509


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

Show without tree


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