Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LandMine(land mine) |
| appearance as argument number 1 |
|
| (subclass LandMine Bomb) | Mid-level-ontology.kif 19771-19771 | Land mine is a subclass of bomb |
| (documentation LandMine EnglishLanguage "A LandMine is designed to explode when there is movement over it, e.g. by a person on foot, by a RoadVehicle, etc.") | Mid-level-ontology.kif 19772-19774 | Land mine is a subclass of bomb |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?MINE LandMine) (hasPurpose ?MINE (exists (?L ?E ?M ?O) (and (instance ?L LandArea) (located ?MINE ?L) (instance ?E Explosion) (instrument ?E ?MINE) (locatedAtTime ?MINE (WhenFn ?E) ?L) (causes ?M ?E) (instance ?M Motion) (eventLocated ?M ?L) (origin ?M ?O) (orientation ?O ?MINE On) (or (instance ?O Human) (instance ?O LandVehicle)))))) |
Mid-level-ontology.kif 19776-19794 | If X is an instance of land mine, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of land area (3) X is located at Y (4) Z is an instance of explosion (5) X is an instrument for Z (6) X located at time the time of existence of Z for Y (7) W causes Z (8) W is an instance of motion (9) W is located at Y (10) W originates at V (11) V is on to X (12) V is an instance of human or V is an instance of land vehicle |
| consequent |
|
|
| (=> (instance ?AB InfantryUnit) (exists (?AC) (and (or (instance ?AC AutomaticGun) (instance ?AC Firearm) (instance ?AC MortarGun) (instance ?AC LandMine)) (possesses ?AB ?AC)))) |
Military.kif 951-960 | If X is an instance of infantry unit, then there exists Y such that Y is an instance of automatic gun, Y is an instance of firearm, Y is an instance of mortar gun, or Y is an instance of land mine and X possesses Y |
|