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 21712-21713
(domain protonNumber 1 PureSubstance) Mid-level-ontology.kif 21710-21710 The number 1 argument of proton number is an instance of pure substance
(domain protonNumber 2 PositiveInteger) Mid-level-ontology.kif 21711-21711 The number 2 argument of proton number is an instance of positive integer
(instance protonNumber BinaryPredicate) Mid-level-ontology.kif 21707-21707 proton number is an instance of binary predicate
(instance protonNumber SingleValuedRelation) Mid-level-ontology.kif 21708-21708 proton number is an instance of single valued relation
(instance protonNumber TotalValuedRelation) Mid-level-ontology.kif 21709-21709 proton number is an instance of total valued relation

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

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


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