| MilitaryUnit(military unit) | | ACC, AFSPC, Air_Combat_Command, Air_Force_Space_Command, Haganah, IDF, Israeli_Defense_Force, Republican_Guard, armor, armour, command, enemy, flight, force, guerilla_force, guerrilla_force, home_guard, mechanized_cavalry, military_force, military_group, military_unit, mujahadeen, mujahadein, mujahadin, mujahedeen, mujahedin, mujahideen, mujahidin, naval_unit, regimental, spearhead, squadron, task_force, trip_wire |
| appearance as argument number 1 |
|
|
| (documentation MilitaryUnit EnglishLanguage "Any MilitaryOrganization that can be dispatched to an area of operations.") | Mid-level-ontology.kif 8573-8574 | |
| (subclass MilitaryUnit MilitaryOrganization) | Mid-level-ontology.kif 8572-8572 | Military unit is a subclass of military organization |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain hostileForces 1 MilitaryUnit) | Mid-level-ontology.kif 8642-8642 | The number 1 argument of hostile forces is an instance of military unit |
| (domain hostileForces 2 MilitaryUnit) | Mid-level-ontology.kif 8643-8643 | The number 2 argument of hostile forces is an instance of military unit |
| (domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 705-705 | The number 1 argument of command rank of echelon is a subclass of military unit |
| (domainSubclass subEchelon 1 MilitaryUnit) | Military.kif 691-691 | The number 1 argument of sub echelon is a subclass of military unit |
| (domainSubclass subEchelon 2 MilitaryUnit) | Military.kif 692-692 | The number 2 argument of sub echelon is a subclass of military unit |
| consequent |
|
|
| (=> (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 |
|
|
|
|