Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Battle ViolentContest) | Merge.kif 13661-13661 | Battle is a subclass of violent contest |
| (documentation Battle EnglishLanguage "A ViolentContest between two or more military units within the context of a war. Note that this does not cover the metaphorical sense of 'battle', which simply means a struggle of some sort. This sense should be represented with the more general concept of Contest.") | Merge.kif 13662-13666 | Battle is a subclass of violent contest |
| (externalImage Battle "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Hohenfriedeberg.Attack.of.Prussian.Infantry.1745.jpg") | pictureList.kif 4541-4541 | Battle is a subclass of violent contest |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Battle "battle") | english_format.kif 1643-1643 |
| antecedent |
|
|
| (=> (instance ?BATTLE Battle) (exists (?WAR) (and (instance ?WAR War) (subProcess ?BATTLE ?WAR)))) |
Merge.kif 13668-13673 | If X is an instance of battle, then there exists Y such that Y is an instance of war and X is a subprocess of Y |
| (=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK ViolentContest) (subProcess ?ATTACK ?BATTLE)))) |
Merge.kif 13675-13680 | If X is an instance of battle, then there exists Y such that Y is an instance of violent contest and Y is a subprocess of X |
| (=> (instance ?B Battle) (exists (?U1 ?U2) (and (instance ?U1 MilitaryUnit) (instance ?U2 MilitaryUnit) (not (equal ?U1 ?U2)) (agent ?B ?U1) (agent ?B ?U2)))) |
Mid-level-ontology.kif 9718-9727 | If X is an instance of battle, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of military unit (3) Z is an instance of military unit (4) equal Y (5) Z (6) Y is an agent of X (7) Z is an agent of X |
| (=> (and (instance ?C CavalryUnit) (instance ?B Battle) (agent ?B ?C)) (exists (?P ?V ?T) (and (attribute ?P Soldier) (member ?P ?C) (instance ?T Transportation) (agent ?T ?P) (instance ?V Vehicle) (patient ?T ?V) (during ?T ?B)))) |
Mid-level-ontology.kif 9747-9760 | If X is an instance of cavalry unit, Y is an instance of battle, and X is an agent of Y, then All of the following hold: (1) there exist Z, W (2) V such that soldier is an attribute of Z (3) Z is a member of X (4) V is an instance of transportation (5) Z is an agent of V (6) W is an instance of vehicle (7) W is a patient of V (8) V takes place during Y |
| consequent |
|
|
| (=> (instance ?WAR War) (exists (?BATTLE) (and (instance ?BATTLE Battle) (subProcess ?BATTLE ?WAR)))) |
Merge.kif 13641-13646 | If X is an instance of war, then there exists Y such that Y is an instance of battle and Y is a subprocess of X |
| (=> (holdsDuring ?TIME (instance ?AREA MilitaryFront)) (exists (?BATTLE) (and (instance ?BATTLE Battle) (eventLocated ?BATTLE ?AREA) (temporalPart ?TIME ?BATTLE)))) |
Mid-level-ontology.kif 10385-10391 | If X is an instance of military front holds during Y, then there exists Z such that Z is an instance of battle, Z is located at X, and Y is a part of Z |
| (=> (instance ?M MilitaryManeuver) (exists (?B) (and (instance ?B Battle) (subProcess ?M ?B)))) |
Mid-level-ontology.kif 24095-24100 | If X is an instance of military maneuver, then there exists Y such that Y is an instance of battle and X is a subprocess of Y |
| (=> (attribute ?U ExpeditionaryForce) (hasPurpose ?U (exists (?B ?C ?FC) (and (instance ?U MilitaryUnit) (instance ?B Battle) (agent ?B ?U) (instance ?FC Nation) (located ?B ?FC) (not (equal ?C ?FC)))))) |
MilitaryPersons.kif 728-739 | If expeditionary force is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that X is an instance of military unit (3) Y is an instance of battle (4) X is an agent of Y (5) W is an instance of nation (6) Y is located at W (7) equal Z (8) W |
|
