TreeView Knowledge Base Browser

appearance as argument number 1

Government.kif 2220-2220

appearance as argument number 2

(termFormat ChineseLanguage Leader "领导")	domainEnglishFormat.kif 33605-33605
(termFormat ChineseTraditionalLanguage Leader "領導")	domainEnglishFormat.kif 33604-33604
(termFormat EnglishLanguage Leader "leader")	domainEnglishFormat.kif 33603-33603

antecedent

(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON))))	Government.kif 2273-2281	AreaGeopolitica è un' istanza di AreaGeopolitica Umano occupa la posizione di Leader in GovernmentFn AreaGeopolitica Processo Processo è un' istanza di Guidare AreaGeopolitica è un paziente di Processo Processo è un agente di Umano
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON))	Government.kif 1310-1314	Organizzazione è un' istanza di AreaGeopolitica Umano occupa la posizione di Leader in Organizzazione leader GovernmentFn Organizzazione and Umano
(=> (occupiesPosition ?PERSON Leader ?ORG) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?ORG) (agent ?LEADING ?PERSON))))	Government.kif 2265-2271	Umano occupa la posizione di Leader in Organizzazione Processo Processo è un' istanza di Guidare Organizzazione è un paziente di Processo Processo è un agente di Umano
(=> (occupiesPosition ?PERSON Leader ?ORGANIZATION) (leader ?ORGANIZATION ?PERSON))	Government.kif 1306-1308	Umano occupa la posizione di Leader in Organizzazione leader Organizzazione and Umano

consequent

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

Government.kif 1530-1532