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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Neutron
Neutron

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


(documentation Neutron ChineseLanguage "这是 AtomicNucleus 的组件, 它们不含电荷。") chinese_format.kif 1616-1616
(documentation Neutron EnglishLanguage "Components of the AtomicNucleus. They have no charge.") Merge.kif 1170-1171
(documentation Neutron JapaneseLanguage "AtomicNucleus のコンポーネント。それは正電荷でも 負電荷でもない。") japanese_format.kif 195-196
(documentation Neutron SpanishLanguage "Componentes del AtomicNucleus. No tienen carga.") spanish_format.kif 231-232
(subclass Neutron SubatomicParticle) Merge.kif 1168-1168

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


(termFormat ChineseLanguage Neutron "中子") chinese_format.kif 826-826
(termFormat EnglishLanguage Neutron "neutron") english_format.kif 854-854
(termFormat FrenchLanguage Neutron "neutron") french_format.kif 502-502
(termFormat Hindi Neutron "nyUrAzna") terms-hindi.txt 35-35
(termFormat ItalianLanguage Neutron "Neutrone") terms-it.txt 38-38
(termFormat JapaneseLanguage Neutron "中性子") japanese_format.kif 2187-2187
(termFormat PortugueseLanguage Neutron "Neutron") portuguese_format.kif 454-454
(termFormat cz Neutron "neutron") terms-cz.txt 69-69
(termFormat ro Neutron "neutron") relations-ro.kif 523-523
(termFormat tg Neutron "bahagi ng atom") terms-tg.txt 39-39

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


(=>
    (instance ?NUCLEUS AtomicNucleus)
    (exists (?NEUTRON ?PROTON)
        (and
            (component ?NEUTRON ?NUCLEUS)
            (component ?PROTON ?NUCLEUS)
            (instance ?NEUTRON Neutron)
            (instance ?PROTON Proton))))
Merge.kif 1149-1156


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