Leader - Sigma Knowledge base Browser

appearance as argument number 1

Government.kif 2210-2210

appearance as argument number 2

(termFormat ChineseLanguage Leader "领导")	domainEnglishFormat.kif 33517-33517	"领导" is the printable form of leader in ChineseLanguage
(termFormat ChineseTraditionalLanguage Leader "領導")	domainEnglishFormat.kif 33516-33516	"領導" is the printable form of leader in ChineseTraditionalLanguage
(termFormat EnglishLanguage Leader "leader")	domainEnglishFormat.kif 33515-33515	"leader" is the printable form of leader in english language

antecedent

(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON))))	Government.kif 2250-2258	If a geopolitical area is an instance of geopolitical area and a human holds the position of leader in the geopolitical area の government, then there exists a process such that the process is an instance of guiding and the geopolitical area is a patient of the process and the human is an agent of the process
(=> (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
(=> (occupiesPosition ?PERSON Leader ?ORG) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?ORG) (agent ?LEADING ?PERSON))))	Government.kif 2242-2248	If a human holds the position of leader in an organization, then there exists a process such that the process is an instance of guiding and the organization is a patient of the process and the human is an agent of the process
(=> (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

consequent

(=>
    (chiefOfState ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON Leader
        (GovernmentFn ?AREA)))

Government.kif 1520-1522

If a geopolitical area chief of state a position for a human,
then the human holds the position of leader in the geopolitical area の government

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

KB Term:			Term intersection

English Word: