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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Leader

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 2216-2216 Leader is an instance of position

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Leader "leader") domainEnglishFormat.kif 6019-6019 "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 2256-2264
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (occupiesPosition ?PERSON Leader ?AREA))
    (leader
        (GovernmentFn ?AREA) ?PERSON))
Government.kif 1306-1310
(=>
    (occupiesPosition ?PERSON Leader ?ORG)
    (exists (?LEADING)
        (and
            (instance ?LEADING Guiding)
            (patient ?LEADING ?ORG)
            (agent ?LEADING ?PERSON))))
Government.kif 2248-2254
(=>
    (occupiesPosition ?PERSON Leader ?ORGANIZATION)
    (leader ?ORGANIZATION ?PERSON))
Government.kif 1302-1304

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


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


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

Show without tree


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