Leader(leader) | ![]() | Diocletian, Flavius_Claudius_Julianus, Gaius_Aurelius_Valerius_Diocletian, Herculius, Julian, Julian_the_Apostate, Khedive, Marcus_Aurelius_Valerius_Maximianus, Maximian, khan |
appearance as argument number 1 |
![]() |
(instance Leader Position) | Government.kif 2217-2217 | Leader is an instance of position |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Leader "领导") | domainEnglishFormat.kif 33616-33616 | |
(termFormat ChineseTraditionalLanguage Leader "領導") | domainEnglishFormat.kif 33615-33615 | |
(termFormat EnglishLanguage Leader "leader") | domainEnglishFormat.kif 33614-33614 |
antecedent |
![]() |
consequent |
![]() |
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) |
Government.kif 1528-1530 |
|
![]() |
![]() |