Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MilitaryCommander(military commander) |  | commandant, commander, commanding_officer |
| appearance as argument number 1 |
|
|
| (instance MilitaryCommander Position) | Government.kif 1329-1329 | Military commander is an instance of position |
| (documentation MilitaryCommander EnglishLanguage "The commanding officer (CO) or commander, or sometimes, if the incumbent is a general officer, commanding general (CG), is the officer in command of a military unit.[Wikipedia] MilitaryCommander is the leader of unit in command.") | MilitaryPersons.kif 337-339 | Military commander is an instance of position |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (governmentType ?PLACE MilitaryDictatorship) (leaderPosition ?PLACE MilitaryCommander)) |
Government.kif 332-334 | If military dictatorship is a government type of X, then military commander is a leader position of X |
| (=> (and (instance ?ORG MilitaryOrganization) (leader ?P ?ORG)) (occupiesPosition ?P MilitaryCommander ?ORG)) |
MilitaryPersons.kif 342-346 | If X is an instance of military organization and X is a leader of Y, then Y holds the position of military commander in X |
| (=> (and (instance ?PLANNING OperationPlanning) (agent ?PLANNING ?COMMANDER)) (or (and (instance ?COMMANDER CombatantCommander) (exists (?REQUEST ?CHAIRMAN) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?CHAIRMAN) (attribute ?CHAIRMAN ChairmanJCS) (causes ?REQUEST ?PLANNING)))) (and (instance ?COMMANDER SubunifiedCommander) (exists (?REQUEST ?COMMANDERSUPER ?MILITARY) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?COMMANDERSUPER) (attribute ?COMMANDERSUPER MilitaryCommander) (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER) (instance ?MILITARY MilitaryForce) (causes ?REQUEST ?PLANNING)))))) |
MilitaryProcesses.kif 1604-1626 | If X is an instance of operation planning and Y is an agent of X, then Y is an instance of combatant commander and there exist Z, W such that Z is an instance of requesting, W is an agent of Z, chairmanJC s is an attribute of W, and Z causes X or Y is an instance of subunified commander and All of the following hold: (1) there exist Z, V (2) U such that Z is an instance of requesting (3) V is an agent of Z (4) military commander is an attribute of V (5) U is subordinate position Y for V (6) U is an instance of military force (7) Z causes X |
| (=> (instance ?ORDER OperationOrder) (exists (?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY) (and (agent ?ORDER ?SUPERIORCOMMANDER) (origin ?ORDER ?SUPERIORCOMMANDER) (destination ?ORDER ?SUBORDINATECOMMANDER) (instance ?SUPERIORCOMMANDER MilitaryCommander) (instance ?SUBORDINATECOMMANDER MilitaryCommander) (subordinatePosition ?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER) (instance ?MILITARY MilitaryForce)))) |
MilitaryProcesses.kif 1685-1695 | If X is an instance of operation order, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Y is an instance of military commander (6) Z is an instance of military commander (7) W is subordinate position Z for Y (8) W is an instance of military force |
|