consequent

(=>     (and         (instance ?AREA GeopoliticalArea)         (leader             (GovernmentFn ?AREA) ?PERSON))     (leader ?AREA ?PERSON))	Merge.kif 14235-14239	If a geopolitical area is an instance of geopolitical area and a human is a leader of the government of the geopolitical area, then the human is a leader of the geopolitical area
(=>     (and         (instance ?AREA GeopoliticalArea)         (leader ?AREA ?PERSON))     (leader         (GovernmentFn ?AREA) ?PERSON))	Merge.kif 14241-14245	If a geopolitical area is an instance of geopolitical area and a human is a leader of the geopolitical area, then the human is a leader of the government of the geopolitical area
(=>     (and         (instance ?AREA GeopoliticalArea)         (occupiesPosition ?PERSON Leader ?AREA))     (leader         (GovernmentFn ?AREA) ?PERSON))	Government.kif 1308-1312	If an organization is an instance of geopolitical area and a human holds the position of leader in the organization, then the human is a leader of the government of the organization
(=>     (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 1475-1486	If an organization is an instance of government cabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization has the purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the government of the geopolitical area is a leader of the other entity
(=>     (and         (instance ?PERSON Human)         (instance ?ROLE Position)         (instance ?AREA GeopoliticalArea)         (leaderPosition ?AREA ?ROLE)         (occupiesPosition ?PERSON ?ROLE             (GovernmentFn ?AREA)))     (leader ?AREA ?PERSON))	Government.kif 1449-1456	If a human is an instance of human and a position is an instance of position and a geopolitical area is an instance of geopolitical area and the position is a leader position of the geopolitical area and the human holds the position of the position in the government of the geopolitical area, then the human is a leader of the geopolitical area
(=>     (and         (instance ?PERSON Human)         (instance ?ROLE Position)         (instance ?ORG AutonomousAgent)         (leaderPosition ?ORG ?ROLE)         (occupiesPosition ?PERSON ?ROLE ?ORG))     (leader ?ORG ?PERSON))	Government.kif 1440-1447	If a human is an instance of human and a position is an instance of position and an organization is an instance of agent and the position is a leader position of the organization and the human holds the position of the position in the organization, then the human is a leader of the organization
(=>     (attribute ?H PresidentOfTheUnitedStates)     (leader ?H UnitedStates))	Government.kif 1465-1467	If president of the united states is an attribute of an agent, then united states is a leader of the agent
(=>     (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 22332-22340	If a human directed a motion picture, then there exist a process and an agent such that the process is an instance of film making and the agent is an instance of organization and the human is a leader of the agent and the agent is an agent of the process and the motion picture is a result of the process
(=>     (holdsDuring ?T1         (occupiesPosition ?PERSON SecretaryOfTheInterior UnitedStatesDepartmentOfInterior))     (holdsDuring ?T1         (leader UnitedStatesDepartmentOfInterior ?PERSON)))	Government.kif 4820-4824	If an entity holds the position of secretary of the interior in united states department of interior holds during a time position, then the entity is a leader of united states department of interior holds during the time position
(=>     (occupiesPosition ?H Pope RomanCatholicChurch)     (leader RomanCatholicChurch ?H))	People.kif 1291-1293	If a human holds the position of pope in roman catholic church, then the human is a leader of roman catholic church
(=>     (occupiesPosition ?PERSON Cleric ?ORG)     (and         (leader ?ORG ?PERSON)         (instance ?ORG ReligiousOrganization)))	Mid-level-ontology.kif 22499-22503	If a human holds the position of cleric in an organization, then the human is a leader of the organization and the organization is an instance of religious organization
(=>     (occupiesPosition ?PERSON Leader ?ORGANIZATION)     (leader ?ORGANIZATION ?PERSON))	Government.kif 1304-1306	If a human holds the position of leader in an organization, then the human is a leader of the organization

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners