Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  or
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Electron SubatomicParticle) | Merge.kif 1231-1231 | Electron is a subclass of subatomic particle |
| (documentation Electron EnglishLanguage "SubatomicParticles that surround the AtomicNucleus. They have a negative charge.") | Merge.kif 1233-1234 | Electron is a subclass of subatomic particle |
| (externalImage Electron "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ HAtomOrbitals.png") | pictureList.kif 5981-5981 | Electron is a subclass of subatomic particle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Electron "electron") | english_format.kif 850-850 |
| consequent |
|
|
| (=> (instance ?ATOM Atom) (exists (?PROTON ?ELECTRON) (and (part ?PROTON ?ATOM) (part ?ELECTRON ?ATOM) (instance ?PROTON Proton) (instance ?ELECTRON Electron)))) |
Merge.kif 1186-1193 | If X is an instance of atom, then there exist Y, Z such that Y is a part of X, Z is a part of X, Y is an instance of proton, and Z is an instance of electron |
| (=> (and (electronNumber ?SUBSTANCE ?NUMBER) (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule))) (exists (?ELECTRON) (equal ?NUMBER (CardinalityFn (KappaFn ?ELECTRON (and (part ?ELECTRON ?ATOM) (instance ?ELECTRON Electron))))))) |
Mid-level-ontology.kif 23984-23997 | If X is an electron number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W |
| (=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 948-971 | If X is an instance of organization and utilities is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of removing or W is an instance of sewage (6) W is a patient of Y (7) W is an instance of electron or W is an instance of water or W is an instance of pure substance (8) W is capable of doing burning as a patient (9) V is a member of X (10) U is an instance of financial transaction (11) V is an agent of U (12) W is a patient of U |
|
