|
|
  Leader
|
|
|
| appearance as argument number 1 |
|
|
| (instance Leader Position) | Government.kif 2241-2241 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Leader "领导") | domainEnglishFormat.kif 33588-33588 | |
| (termFormat ChineseTraditionalLanguage Leader "領導") | domainEnglishFormat.kif 33587-33587 | |
| (termFormat EnglishLanguage Leader "leader") | domainEnglishFormat.kif 33586-33586 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON)))) |
Government.kif 2294-2302 | |
| (=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON)) |
Government.kif 1331-1335 | |
| (=> (occupiesPosition ?PERSON Leader ?ORG) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?ORG) (agent ?LEADING ?PERSON)))) |
Government.kif 2286-2292 | |
| (=> (occupiesPosition ?PERSON Leader ?ORGANIZATION) (leader ?ORGANIZATION ?PERSON)) |
Government.kif 1327-1329 |
| consequent |
|
|
| (=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) |
Government.kif 1551-1553 |
|
|
|