Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AtomicNucleus
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AtomicNucleus SubatomicParticle) | Merge.kif 1218-1218 | Atomic nucleus is a subclass of subatomic particle |
| (documentation AtomicNucleus EnglishLanguage "The core of the Atom. It is composed of Protons and Neutrons.") | Merge.kif 1219-1220 | Atomic nucleus is a subclass of subatomic particle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AtomicNucleus "atomic nucleus") | english_format.kif 848-848 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (instance ?ATOM Atom) (forall (?NUCLEUS1 ?NUCLEUS2) (=> (and (part ?NUCLEUS1 ?ATOM) (part ?NUCLEUS2 ?ATOM) (instance ?NUCLEUS1 AtomicNucleus) (instance ?NUCLEUS2 AtomicNucleus)) (equal ?NUCLEUS1 ?NUCLEUS2)))) |
Merge.kif 1195-1204 | If X is an instance of atom, then For all Objects Y and Z: if Y is a part of X, Z is a part of X, Y is an instance of atomic nucleus, and Z is an instance of atomic nucleus, then equal Y and Z |
|