Leader(領導) |
appearance as argument number 1 |
(instance Leader Position) | Government.kif 2220-2220 | 例 領導 and Position |
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 |
|
(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON)) |
Government.kif 1310-1314 |
|
(=> (occupiesPosition ?PERSON Leader ?ORG) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?ORG) (agent ?LEADING ?PERSON)))) |
Government.kif 2265-2271 | |
(=> (occupiesPosition ?PERSON Leader ?ORGANIZATION) (leader ?ORGANIZATION ?PERSON)) |
Government.kif 1306-1308 |
|
consequent |
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) |
Government.kif 1530-1532 |
|