(=>
(and
(instance ?AREA GeopoliticalArea)
(leader
(GovernmentFn ?AREA) ?PERSON))
(leader ?AREA ?PERSON)) |
Merge.kif 14374-14378 |
If X is an instance of geopolitical area and Y is a leader of the government of X, then Y is a leader of X |
(=>
(and
(instance ?AREA GeopoliticalArea)
(leader ?AREA ?PERSON))
(leader
(GovernmentFn ?AREA) ?PERSON)) |
Merge.kif 14380-14384 |
If X is an instance of geopolitical area and Y is a leader of X, then Y is a leader of the government of X |
(=>
(directed ?DIRECTOR ?MOVIE)
(exists (?FILMMAKING ?FILMCREW)
(and
(instance ?FILMMAKING FilmMaking)
(instance ?FILMCREW Organization)
(leader ?FILMCREW ?DIRECTOR)
(agent ?FILMMAKING ?FILMCREW)
(result ?FILMMAKING ?MOVIE)))) |
Mid-level-ontology.kif 22966-22974 |
If X directed Y, then there exist Z, W such that Z is an instance of film making, W is an instance of organization, X is a leader of W, W is an agent of Z, and Y is a result of Z |
(=>
(occupiesPosition ?PERSON Cleric ?ORG)
(and
(leader ?ORG ?PERSON)
(instance ?ORG ReligiousOrganization))) |
Mid-level-ontology.kif 23133-23137 |
If X holds the position of cleric in Y, then X is a leader of Y and Y is an instance of religious organization |
(=>
(occupiesPosition ?PERSON Leader ?ORGANIZATION)
(leader ?ORGANIZATION ?PERSON)) |
Government.kif 1313-1315 |
If X holds the position of leader in Y, then X is a leader of Y |
(=>
(and
(instance ?AREA GeopoliticalArea)
(occupiesPosition ?PERSON Leader ?AREA))
(leader
(GovernmentFn ?AREA) ?PERSON)) |
Government.kif 1317-1321 |
If X is an instance of geopolitical area and Y holds the position of leader in X, then Y is a leader of the government of X |
(=>
(and
(instance ?PERSON Human)
(instance ?ROLE Position)
(instance ?ORG AutonomousAgent)
(leaderPosition ?ORG ?ROLE)
(occupiesPosition ?PERSON ?ROLE ?ORG))
(leader ?ORG ?PERSON)) |
Government.kif 1449-1456 |
If X is an instance of human, Y is an instance of position, Z is an instance of agent, Y is a leader position of Z, and X holds the position of Y in Z, then X is a leader of Z |
(=>
(and
(instance ?PERSON Human)
(instance ?ROLE Position)
(instance ?AREA GeopoliticalArea)
(leaderPosition ?AREA ?ROLE)
(occupiesPosition ?PERSON ?ROLE
(GovernmentFn ?AREA)))
(leader ?AREA ?PERSON)) |
Government.kif 1458-1465 |
If X is an instance of human, Y is an instance of position, Z is an instance of geopolitical area, Y is a leader position of Z, and X holds the position of Y in the government of Z, then X is a leader of Z |
(=>
(attribute ?H PresidentOfTheUnitedStates)
(leader ?H UnitedStates)) |
Government.kif 1474-1476 |
If president of the united states is an attribute of X, then united states is a leader of X |
(=>
(and
(instance ?CAB GovernmentCabinet)
(subOrganization ?CAB
(GovernmentFn ?AREA))
(instance ?AREA GeopoliticalArea))
(hasPurpose ?CAB
(exists (?ADVICE ?LEADER)
(and
(instance ?ADVICE Stating)
(agent ?ADVICE ?CAB)
(patient ?ADVICE ?LEADER)
(leader ?LEADER
(GovernmentFn ?AREA)))))) |
Government.kif 1484-1495 |
If X is an instance of government cabinet, X is a part of the organization the government of Y, and Y is an instance of geopolitical area, then X has the purpose there exist Z, W such that Z is an instance of stating, X is an agent of Z, W is a patient of Z, and the government of Y is a leader of W |
(=>
(holdsDuring ?T1
(occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior))
(holdsDuring ?T1
(leader UnitedStatesDepartmentOfInterior ?PERSON))) |
Government.kif 4851-4855 |
If X holds the position of secretary of the interior in united states department of interior holds during Y, then X is a leader of united states department of interior holds during Y |
(=>
(occupiesPosition ?H Pope RomanCatholicChurch)
(leader RomanCatholicChurch ?H)) |
People.kif 1325-1327 |
If X holds the position of pope in roman catholic church, then X is a leader of roman catholic church |
