TreeView Knowledge Base Browser - Battle

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3294-3296
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13352-13356
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4542-4542
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13351-13351	Battle is a subclass of violent contest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1211-1211
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1639-1639
No TPTP formula. May not be expressible in strict first order.	french_format.kif 889-889
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 422-422
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 425-425
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2573-2573
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 841-841
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 427-427
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 461-461
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 910-910
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 426-426

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8387-8400	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8358-8367	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13365-13370	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13358-13363	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9018-9024	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21802-21807	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13331-13336	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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