leader - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - leader

leader

appearance as argument number 1

(documentation leader EnglishLanguage "(leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON.")	Merge.kif 1519-1520
(domain leader 1 Agent)	Merge.kif 1516-1516	The number 1 argument of leader is an instance of agent
(domain leader 2 Human)	Merge.kif 1517-1517	The number 2 argument of leader is an instance of human
(instance leader AsymmetricRelation)	Merge.kif 1514-1514	leader is an instance of asymmetric relation
(instance leader BinaryPredicate)	Merge.kif 1513-1513	leader is an instance of binary predicate
(instance leader SingleValuedRelation)	Merge.kif 1515-1515	leader is an instance of single valued relation

appearance as argument number 2

(format ChineseLanguage leader "%2 %n 是 %1 的 leader ")	domainEnglishFormat.kif 1451-1451
(format ChineseTraditionalLanguage leader "%2 %n 是 %1 的 leader ")	domainEnglishFormat.kif 1450-1450
(format EnglishLanguage leader "%2 is %n a leader of %1")	domainEnglishFormat.kif 1449-1449

antecedent

(=> (and (directed ?DIRECTOR ?MOVIE) (instance ?FILMMAKING FilmMaking) (instance ?FILMCREW Organization) (leader ?FILMCREW ?DIRECTOR) (agent ?FILMMAKING ?FILMCREW) (result ?FILMMAKING ?MOVIE)) (holdsDuring (WhenFn ?FILMMAKING) (attribute ?DIRECTOR FilmDirector)))	Mid-level-ontology.kif 18392-18401	If a human directed a motion picture and a process is an instance of film making and an 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, then film director is an attribute of the human holds during the time of existence of the process
(=> (and (instance ?AREA GeopoliticalArea) (leader (GovernmentFn ?AREA) ?PERSON)) (leader ?AREA ?PERSON))	Merge.kif 13012-13016	If a geopolitical area is an instance of geopolitical area and a human is a leader of the geopolitical area の government, then the human is a leader of the geopolitical area
(=> (and (instance ?AREA GeopoliticalArea) (leader ?AREA ?PERSON)) (leader (GovernmentFn ?AREA) ?PERSON))	Merge.kif 13018-13022	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 geopolitical area の government
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1410-1416	If a geopolitical area is an instance of nation and a human is a leader of the geopolitical area and a position is an instance of position and the human holds the position of the position in the geopolitical area の government, then the position is a leader position of the geopolitical area
(=> (and (instance ?ORG Agent) (leader ?ORG ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leaderPosition ?ORG ?ROLE))	Government.kif 1401-1407	If an organization is an instance of agent and a human is a leader of the organization and a position is an instance of position and the human holds the position of the position in the organization, then the position is a leader position of the organization
(=> (holdsDuring ?TIME (leader ?X ?Y)) (holdsDuring ?TIME (attribute ?Y Living)))	Merge.kif 1522-1524	If an entity is a leader of another entity holds during a time position, then living is an attribute of the entity holds during the time position

consequent

(=> (and (instance ?AREA GeopoliticalArea) (leader (GovernmentFn ?AREA) ?PERSON)) (leader ?AREA ?PERSON))	Merge.kif 13012-13016	If a geopolitical area is an instance of geopolitical area and a human is a leader of the geopolitical area の government, then the human is a leader of the geopolitical area
(=> (and (instance ?AREA GeopoliticalArea) (leader ?AREA ?PERSON)) (leader (GovernmentFn ?AREA) ?PERSON))	Merge.kif 13018-13022	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 geopolitical area の government
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON))	Government.kif 1300-1304	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 organization の government
(=> (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 1467-1478	If an organization is an instance of government cabinet and the organization は組織 a geopolitical area の government の一部では %n and the geopolitical area is an instance of geopolitical area, then the organization 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 geopolitical area の government 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 1441-1448	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 geopolitical area の government, then the human is a leader of the geopolitical area
(=> (and (instance ?PERSON Human) (instance ?ROLE Position) (instance ?ORG Agent) (leaderPosition ?ORG ?ROLE) (occupiesPosition ?PERSON ?ROLE ?ORG)) (leader ?ORG ?PERSON))	Government.kif 1432-1439	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 1457-1459	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 18382-18390	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 4790-4794	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 1292-1294	If a human holds the position of pope in roman catholic church, then the human is a leader of roman catholic church
(=> (occupiesPosition ?PERSON Leader ?ORGANIZATION) (leader ?ORGANIZATION ?PERSON))	Government.kif 1296-1298	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners