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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Proton

Sigma KEE - Proton
Proton

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


(documentation Proton ChineseLanguage "这是 AtomicNucleus 的组件, 它们具有正电荷。") chinese_format.kif 1615-1615
(documentation Proton EnglishLanguage "Components of the AtomicNucleus. They have a positive charge.") Merge.kif 1087-1088
(subclass Proton SubatomicParticle) Merge.kif 1085-1085 subclass Proton and SubatomicParticle

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Proton "质子") chinese_format.kif 825-825
(termFormat EnglishLanguage Proton "proton") english_format.kif 857-857

consequent
-------------------------


(=>
    (atomicNumber ?TYPE ?NUMBER)
    (=>
        (and
            (instance ?SUBSTANCE ?TYPE)
            (part ?ATOM ?SUBSTANCE)
            (instance ?ATOM Atom))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?PROTON
                    (and
                        (part ?PROTON ?ATOM)
                        (instance ?PROTON Proton)))))))
Merge.kif 12784-12796
(=>
    (instance ?ATOM Atom)
    (exists (?PROTON ?ELECTRON)
        (and
            (component ?PROTON ?ATOM)
            (component ?ELECTRON ?ATOM)
            (instance ?PROTON Proton)
            (instance ?ELECTRON Electron))))
Merge.kif 1035-1042
(=>
    (instance ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
        (and
            (component ?NEUTRON ?NUCLEUS)
            (component ?PROTON ?NUCLEUS)
            (instance ?NEUTRON Neutron)
            (instance ?PROTON Proton))))
Merge.kif 1071-1078
(=>
    (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


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