(=>
(instance ?JOINT JointForces)
(leaderPosition ?JOINT JointForcesCommander)) |
MilitaryPersons.kif 366-368 |
If X is an instance of joint forces, then joint forces commander is a leader position of X |
(=>
(and
(instance ?JOINT JointForces)
(subOrganization ?FORCE1 ?JOINT)
(instance ?FORCE1 AirForce))
(leaderPosition ?FORCE1 JointForcesAirCommander)) |
MilitaryPersons.kif 385-390 |
If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of air force, then joint forces air commander is a leader position of Y |
(=>
(and
(instance ?JOINT JointForces)
(subOrganization ?FORCE1 ?JOINT)
(instance ?FORCE1 Army))
(leaderPosition ?FORCE1 JointForcesLandCommander)) |
MilitaryPersons.kif 407-412 |
If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of army, then joint forces land commander is a leader position of Y |
(=>
(and
(instance ?JOINT JointForces)
(subOrganization ?FORCE1 ?JOINT)
(instance ?FORCE1 NavyBranchOfService))
(leaderPosition ?FORCE1 JointForcesMaritimeCommander)) |
MilitaryPersons.kif 431-436 |
If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of navy branch of service, then joint forces maritime commander is a leader position of Y |
(=>
(and
(instance ?JOINT JointForces)
(subOrganization ?FORCE1 ?JOINT)
(instance ?FORCE1 CoastGuard))
(leaderPosition ?FORCE1 JointForcesMaritimeCommander)) |
MilitaryPersons.kif 439-444 |
If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of coast guard, then joint forces maritime commander is a leader position of Y |
(=>
(and
(instance ?JOINT JointForces)
(subOrganization ?FORCE1 ?JOINT)
(instance ?FORCE1 SpecialOperationsForces))
(leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander)) |
MilitaryPersons.kif 460-465 |
If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of special operations forces, then joint forces special operations commander is a leader position of Y |
(=>
(and
(instance ?JOINT JointForces)
(subOrganization ?FORCE1 ?JOINT)
(subOrganization ?FORCE2 ?JOINT)
(not
(equal ?FORCE1 ?FORCE2))
(leaderPosition ?JOINT ?JOINTCOMMANDER))
(and
(leaderPosition ?FORCE1 ?JOINTCOMMANDER)
(leaderPosition ?FORCE2 ?JOINTCOMMANDER))) |
MilitaryProcesses.kif 1758-1768 |
If X is an instance of joint forces, Y is a part of the organization X, Z is a part of the organization X, equal Y and Z, and W is a leader position of X, then W is a leader position of Y and W is a leader position of Z |
(=>
(and
(instance ?JOINT JointForces)
(subOrganization ?FORCE1 ?JOINT)
(leaderPosition ?FORCE1 ?COMMANDER1)
(leaderPosition ?JOINT ?JOINTCOMMANDER))
(subordinatePosition ?JOINT ?COMMANDER1 ?JOINTCOMMANDER)) |
MilitaryProcesses.kif 1773-1779 |
If X is an instance of joint forces, Y is a part of the organization X, Z is a leader position of Y, and W is a leader position of X, then X is subordinate position Z for W |
