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

s__documentation(s__leader__m,s__EnglishLanguage,'"(leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON."')	Merge.kif 1525-1526
s__domain(s__leader__m,n__1,s__Agent)	Merge.kif 1522-1522	The number 1 argument of leader is an instance of agent
s__domain(s__leader__m,n__2,s__Human)	Merge.kif 1523-1523	The number 2 argument of leader is an instance of human
s__instance(s__leader__m,s__AsymmetricRelation) s__instance(s__AsymmetricRelation,s__SetOrClass)	Merge.kif 1520-1520	leader is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__leader__m,s__BinaryPredicate)	Merge.kif 1519-1519	leader is an instance of binary predicate
s__instance(s__leader__m,s__SingleValuedRelation) s__instance(s__SingleValuedRelation,s__SetOrClass)	Merge.kif 1521-1521	leader is an instance of single valued relation

appearance as argument number 2

s__format(s__ChineseLanguage,s__leader__m,'"%2 %n 是 %1 的 leader "')	domainEnglishFormat.kif 1451-1451
s__format(s__ChineseTraditionalLanguage,s__leader__m,'"%2 %n 是 %1 的 leader "')	domainEnglishFormat.kif 1450-1450
s__format(s__EnglishLanguage,s__leader__m,'"%2 is %n a leader of %1"')	domainEnglishFormat.kif 1449-1449

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18837-18846	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
( ! [V__AREA,V__PERSON] : ((s__instance(V__PERSON,s__Human) => (((s__instance(V__AREA,s__GeopoliticalArea) & s__leader(s__GovernmentFn(V__AREA) ,V__PERSON)) => (s__leader(V__AREA,V__PERSON))))) ) )	Merge.kif 13389-13393	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
( ! [V__AREA,V__PERSON] : ((s__instance(V__PERSON,s__Human) => (((s__instance(V__AREA,s__GeopoliticalArea) & s__leader(V__AREA,V__PERSON)) => (s__leader(s__GovernmentFn(V__AREA) ,V__PERSON))))) ) )	Merge.kif 13395-13399	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
( ! [V__PERSON,V__COUNTRY,V__ROLE] : ((s__instance(V__PERSON,s__Human) => (((s__instance(V__COUNTRY,s__Nation) & s__leader(V__COUNTRY,V__PERSON) & s__instance(V__ROLE,s__Position) & s__occupiesPosition(V__PERSON,V__ROLE,s__GovernmentFn(V__COUNTRY))) => (s__leaderPosition(V__COUNTRY,V__ROLE))))) ) )	Government.kif 1442-1448	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 government of the geopolitical area, then the position is a leader position of the geopolitical area
( ! [V__ORG,V__PERSON,V__ROLE] : ((s__instance(V__PERSON,s__Human) => (((s__instance(V__ORG,s__Agent) & s__leader(V__ORG,V__PERSON) & s__instance(V__ROLE,s__Position) & s__occupiesPosition(V__PERSON,V__ROLE,V__ORG)) => (s__leaderPosition(V__ORG,V__ROLE))))) ) )	Government.kif 1433-1439	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1528-1530	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

( ! [V__AREA,V__PERSON] : ((s__instance(V__PERSON,s__Human) => (((s__instance(V__AREA,s__GeopoliticalArea) & s__leader(s__GovernmentFn(V__AREA) ,V__PERSON)) => (s__leader(V__AREA,V__PERSON))))) ) )	Merge.kif 13389-13393	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
( ! [V__AREA,V__PERSON] : ((s__instance(V__PERSON,s__Human) => (((s__instance(V__AREA,s__GeopoliticalArea) & s__leader(V__AREA,V__PERSON)) => (s__leader(s__GovernmentFn(V__AREA) ,V__PERSON))))) ) )	Merge.kif 13395-13399	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
( ! [V__AREA,V__PERSON] : ((s__instance(V__PERSON,s__Human) => (((s__instance(V__AREA,s__GeopoliticalArea) & s__occupiesPosition(V__PERSON,s__Leader,V__AREA)) => (s__leader(s__GovernmentFn(V__AREA) ,V__PERSON))))) ) )	Government.kif 1332-1336	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1499-1510	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
( ! [V__AREA,V__PERSON,V__ROLE] : (((s__instance(V__PERSON,s__Human) & s__instance(V__ROLE,s__Position) & s__instance(V__AREA,s__GeopoliticalArea) & s__leaderPosition(V__AREA,V__ROLE) & s__occupiesPosition(V__PERSON,V__ROLE,s__GovernmentFn(V__AREA))) => (s__leader(V__AREA,V__PERSON))) ) )	Government.kif 1473-1480	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
( ! [V__ORG,V__PERSON,V__ROLE] : (((s__instance(V__PERSON,s__Human) & s__instance(V__ROLE,s__Position) & s__instance(V__ORG,s__Agent) & s__leaderPosition(V__ORG,V__ROLE) & s__occupiesPosition(V__PERSON,V__ROLE,V__ORG)) => (s__leader(V__ORG,V__PERSON))) ) )	Government.kif 1464-1471	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
( ! [V__H] : ((s__instance(V__H,s__Agent) => ((s__attribute(V__H,s__PresidentOfTheUnitedStates) => (s__leader(V__H,s__UnitedStates))))) ) )	Government.kif 1489-1491	If president of the united states is an attribute of an agent, then united states is a leader of the agent
( ! [V__MOVIE,V__DIRECTOR] : (((s__instance(V__MOVIE,s__MotionPicture) & s__instance(V__DIRECTOR,s__Human)) => ((s__directed(V__DIRECTOR,V__MOVIE) => (( ? [V__FILMMAKING, V__FILMCREW] : ((s__instance(V__FILMMAKING,s__FilmMaking) & s__instance(V__FILMCREW,s__Organization) & s__leader(V__FILMCREW,V__DIRECTOR) & s__agent(V__FILMMAKING,V__FILMCREW) & s__result(V__FILMMAKING,V__MOVIE)))))))) ) )	Mid-level-ontology.kif 18827-18835	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 4822-4826	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
( ! [V__H] : ((s__instance(V__H,s__Human) => ((s__occupiesPosition(V__H,s__Pope,s__RomanCatholicChurch) => (s__leader(s__RomanCatholicChurch,V__H))))) ) )	People.kif 1293-1295	If a human holds the position of pope in roman catholic church, then the human is a leader of roman catholic church
( ! [V__ORG,V__PERSON] : (((s__instance(V__ORG,s__Organization) & s__instance(V__PERSON,s__Human)) => ((s__occupiesPosition(V__PERSON,s__Cleric,V__ORG) => ((s__leader(V__ORG,V__PERSON) & s__instance(V__ORG,s__ReligiousOrganization)))))) ) )	Mid-level-ontology.kif 18994-18998	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
( ! [V__ORGANIZATION,V__PERSON] : (((s__instance(V__ORGANIZATION,s__Organization) & s__instance(V__PERSON,s__Human)) => ((s__occupiesPosition(V__PERSON,s__Leader,V__ORGANIZATION) => (s__leader(V__ORGANIZATION,V__PERSON))))) ) )	Government.kif 1328-1330	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