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