Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Metal
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Neutron SubatomicParticle) | Merge.kif 1241-1241 | Neutron is a subclass of subatomic particle |
| (documentation Neutron EnglishLanguage "Components of the AtomicNucleus. They have no charge.") | Merge.kif 1243-1244 | Neutron is a subclass of subatomic particle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Neutron "neutron") | english_format.kif 854-854 |
| consequent |
|
|
| (=> (instance ?NUCLEUS AtomicNucleus) (exists (?NEUTRON ?PROTON) (and (component ?NEUTRON ?NUCLEUS) (component ?PROTON ?NUCLEUS) (instance ?NEUTRON Neutron) (instance ?PROTON Proton)))) |
Merge.kif 1222-1229 | If X is an instance of atomic nucleus, then there exist Y, Z such that Y is a component of X, Z is a component of X, Y is an instance of neutron, and Z is an instance of proton |
|