Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Leader
Leader(leader)Diocletian, Flavius_Claudius_Julianus, Gaius_Aurelius_Valerius_Diocletian, Herculius, Julian, Julian_the_Apostate, Khedive, Marcus_Aurelius_Valerius_Maximianus, Maximian, khan, leader, 領導, 领导

appearance as argument number 1
-------------------------


(instance Leader Position) Government.kif 2210-2210 Leader is an instance of position

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
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader ?AREA))
    (leader
        (GovernmentFn ?AREA) ?PERSON))
Government.kif 1300-1304
(=>
    (occupiesPosition ?PERSON Leader ?ORG)
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?ORG)
            (agent ?LEADING ?PERSON))))
Government.kif 2242-2248
(=>
    (occupiesPosition ?PERSON Leader ?ORGANIZATION)
    (leader ?ORGANIZATION ?PERSON))
Government.kif 1296-1298

consequent
-------------------------


(=>
    (chiefOfState ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON Leader
        (GovernmentFn ?AREA)))
Government.kif 1520-1522


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