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