(=>
(and
(governmentType ?PLACE AbsoluteMonarchy)
(instance ?PLACE GeopoliticalArea))
(leaderPosition ?PLACE Monarch)) |
Government.kif 242-246 |
If absolute monarchy is a government type of X and X is an instance of geopolitical area, then monarch is a leader position of X |
(=>
(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 AutonomousAgent)
(leader ?ORG ?PERSON)
(instance ?ROLE Position)
(occupiesPosition ?PERSON ?ROLE ?ORG))
(leaderPosition ?ORG ?ROLE)) |
Government.kif 1418-1424 |
If X is an instance of agent, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in X, then Z is a leader position of X |
(=>
(and
(instance ?COUNTRY Nation)
(leader ?COUNTRY ?PERSON)
(instance ?ROLE Position)
(occupiesPosition ?PERSON ?ROLE
(GovernmentFn ?COUNTRY)))
(leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1427-1433 |
If X is an instance of nation, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in the government of X, then Z is a leader position of X |
(=>
(and
(instance ?COUNTRY Nation)
(leaderPosition
(GovernmentFn ?COUNTRY) ?ROLE))
(leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1436-1440 |
If X is an instance of nation and Y is a leader position of the government of X, then Y is a leader position of X |
(=>
(and
(instance ?COUNTRY Nation)
(leaderPosition ?COUNTRY ?ROLE))
(leaderPosition
(GovernmentFn ?COUNTRY) ?ROLE)) |
Government.kif 1442-1446 |
If X is an instance of nation and Y is a leader position of X, then Y is a leader position of the government of X |
(=>
(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 |
