Battle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Battle

Battle(battle)

Actium, Aegadean_Isles, Aegates_Isles, Aegospotami, Aegospotamos, Agincourt, Al_Alamayn, Alamo, Ardennes_counteroffensive, Argonne, Argonne_Forest, Atlanta, Austerlitz, Australian_arowana, Bannockburn, Bataan, Battle_of_Britain, Battle_of_Bull_Run, Battle_of_El_Alamein, Battle_of_Flodden_Field, Battle_of_Fontenoy, Battle_of_Fredericksburg, Battle_of_Gettysburg, Battle_of_Granicus_River, Battle_of_Guadalcanal, Battle_of_Jena, Battle_of_Kerbala, Battle_of_Lake_Trasimenus, Battle_of_Lepanto, Battle_of_Little_Bighorn, Battle_of_Magenta, Battle_of_Maldon, Battle_of_Midway, Battle_of_Monmouth, Battle_of_Monmouth_Court_House, Battle_of_Naseby, Battle_of_Puebla, Battle_of_Pydna, Battle_of_Ravenna, Battle_of_Rocroi, Battle_of_Wake, Battle_of_Wake_Island, Battle_of_Waterloo, Battle_of_the_Ardennes_Bulge, Battle_of_the_Bulge, Battle_of_the_Little_Bighorn, Battle_of_the_Marne, Battle_of_the_Somme, Battle_of_the_Spanish_Armada, Belleau_Wood...

appearance as argument number 1

(documentation Battle ChineseLanguage "这是在战争爆发时，两个或以上军事单位之间的 ViolentContest。注：这并不包括打仗的隐喻意义，那就是只意味着某种斗争，这个意义应该用 Contest，这个更为概括的概念来表示。")	chinese_format.kif 3294-3296
(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 13398-13402
(externalImage Battle "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Hohenfriedeberg.Attack.of.Prussian.Infantry.1745.jpg")	pictureList.kif 4542-4542
(subclass Battle ViolentContest)	Merge.kif 13397-13397	Battle is a subclass of violent contest

appearance as argument number 2

(termFormat ChineseLanguage Battle "战斗")	chinese_format.kif 1211-1211
(termFormat EnglishLanguage Battle "battle")	english_format.kif 1639-1639
(termFormat FrenchLanguage Battle "bataille")	french_format.kif 889-889
(termFormat Hindi Battle "ladhaaii")	terms-hindi.txt 422-422
(termFormat ItalianLanguage Battle "Battaglia")	terms-it.txt 425-425
(termFormat JapaneseLanguage Battle "戦い")	japanese_format.kif 2573-2573
(termFormat PortugueseLanguage Battle "Batalha")	portuguese_format.kif 841-841
(termFormat cb Battle "sanka")	terms-cb.txt 427-427
(termFormat cz Battle "battle")	terms-cz.txt 461-461
(termFormat ro Battle "bãtãlie")	relations-ro.kif 910-910
(termFormat tg Battle "labanan")	terms-tg.txt 426-426

antecedent

(=> (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 8605-8618	If an agent is an instance of cavalry unit and a time interval is an instance of battle and the agent is an agent of the time interval, then there exist another agent, an entity and another time interval such that soldier is an attribute of the other agent and the other agent is a member of the agent and the other time interval is an instance of transportation and the other agent is an agent of the other time interval and the entity is an instance of vehicle and the entity is a patient of the other time interval and the other time interval takes place during the time interval
(=> (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 8576-8585	If a process is an instance of battle, then there exist an agent and another agent such that the agent is an instance of military unit and the other agent is an instance of military unit and the agent is not equal to the other agent and the agent is an agent of the process and the other agent is an agent of the process
(=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK ViolentContest) (subProcess ?ATTACK ?BATTLE))))	Merge.kif 13411-13416	If a process is an instance of battle, then there exists another process such that the other process is an instance of violent contest and the other process is a subprocess of the process
(=> (instance ?BATTLE Battle) (exists (?WAR) (and (instance ?WAR War) (subProcess ?BATTLE ?WAR))))	Merge.kif 13404-13409	If a process is an instance of battle, then there exists another process such that the other process is an instance of war and the process is a subprocess of the other process

consequent

(=> (attribute ?U ExpeditionaryForce) (hasPurpose ?U (exists (?B ?C ?FC) (and (subOrganization ?U (GovernmentFn ?C)) (instance ?B Battle) (agent ?B ?U) (instance ?FC Nation) (located ?B ?FC) (not (equal ?C ?FC))))))	MilitaryPersons.kif 712-724	If expeditionary force is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object is a part of the organization the government of the other entity and the entity is an instance of battle and the object is an agent of the entity and the third entity is an instance of nation and the entity is located at the third entity and the other entity is not equal to the third entity
(=> (holdsDuring ?TIME (instance ?AREA MilitaryFront)) (exists (?BATTLE) (and (instance ?BATTLE Battle) (eventLocated ?BATTLE ?AREA) (temporalPart ?TIME ?BATTLE))))	Mid-level-ontology.kif 9236-9242	If an object is an instance of military front holds during a time position, then there exists a process such that the process is an instance of battle and the process is located at the object and the time position is a part of the process
(=> (instance ?M MilitaryManeuver) (exists (?B) (and (instance ?B Battle) (subProcess ?M ?B))))	Mid-level-ontology.kif 22085-22090	If a process is an instance of military maneuver, then there exists another process such that the other process is an instance of battle and the process is a subprocess of the other process
(=> (instance ?WAR War) (exists (?BATTLE) (and (instance ?BATTLE Battle) (subProcess ?BATTLE ?WAR))))	Merge.kif 13377-13382	If a process is an instance of war, then there exists another process such that the other process is an instance of battle and the other process is a subprocess of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners