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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Proton
Proton(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 1165-1166
(documentation Proton JapaneseLanguage "AtomicNucleus のコンポーネント。 それは正電荷で ある。") japanese_format.kif 193-194
(documentation Proton SpanishLanguage "Componentes del AtomicNucleus. Están cargadas con carga positiva.") spanish_format.kif 229-230
(subclass Proton SubatomicParticle) Merge.kif 1163-1163 Proton is a subclass of subatomic particle

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


(termFormat ChineseLanguage Proton "质子") chinese_format.kif 825-825
(termFormat EnglishLanguage Proton "proton") english_format.kif 852-852
(termFormat FrenchLanguage Proton "proton") french_format.kif 501-501
(termFormat Hindi Proton "protAzna") terms-hindi.txt 34-34
(termFormat ItalianLanguage Proton "Protone") terms-it.txt 37-37
(termFormat JapaneseLanguage Proton "陽子") japanese_format.kif 2186-2186
(termFormat PortugueseLanguage Proton "Proton") portuguese_format.kif 453-453
(termFormat cz Proton "proton") terms-cz.txt 68-68
(termFormat ro Proton "proton") relations-ro.kif 522-522
(termFormat tg Proton "bahagi ng atom") terms-tg.txt 38-38

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 13824-13836
(=>
    (instance ?ATOM Atom)
    (exists (?PROTON ?ELECTRON)
        (and
            (part ?PROTON ?ATOM)
            (part ?ELECTRON ?ATOM)
            (instance ?PROTON Proton)
            (instance ?ELECTRON Electron))))
Merge.kif 1113-1120
(=>
    (instance ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
        (and
            (component ?NEUTRON ?NUCLEUS)
            (component ?PROTON ?NUCLEUS)
            (instance ?NEUTRON Neutron)
            (instance ?PROTON Proton))))
Merge.kif 1149-1156
(=>
    (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


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