Leader
|
|
appearance as argument number 1 |
(instance Leader Position) | Government.kif 2256-2256 | Leader is an instance of 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 |
consequent |
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) |
Government.kif 1566-1568 |
|