Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass MilitaryUnit MilitaryOrganization) | Mid-level-ontology.kif 9714-9714 | Military unit is a subclass of military organization |
| (documentation MilitaryUnit EnglishLanguage "Any MilitaryOrganization that can be dispatched to an area of operations.") | Mid-level-ontology.kif 9715-9716 | 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 9784-9784 | The number 1 argument of hostile forces is an instance of military unit |
| (domain hostileForces 2 MilitaryUnit) | Mid-level-ontology.kif 9785-9785 | The number 2 argument of hostile forces is an instance of military unit |
| (domainSubclass subEchelon 1 MilitaryUnit) | Military.kif 966-966 | The number 1 argument of sub echelon is a subclass of military unit |
| (domainSubclass subEchelon 2 MilitaryUnit) | Military.kif 967-967 | The number 2 argument of sub echelon is a subclass of military unit |
| (domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 980-980 | The number 1 argument of command rank of 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 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 |
| (=> (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 |
|