| President
| |
| appearance as argument number 1 |
|
|
| (documentation President EnglishLanguage "The president of some Nation. He has the power of command during WarState, i.e. the state of War.") | MilitaryPersons.kif 469-470 | |
| (externalImage President "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Bush_and_Putin_signing_SORT.jpg") | pictureList.kif 10224-10224 | externalImage President and "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Bush_and_Putin_signing_SORT.jpg" |
| (instance President Position) | Government.kif 1306-1306 | instance President and Position |
| (subAttribute President MilitaryCommander) | MilitaryPersons.kif 468-468 | subAttribute President and MilitaryCommander |
| appearance as argument number 2 |
|
|
| (chiefOfStateType UnitedStates President) | MilitaryPersons.kif 481-481 | chiefOfStateType UnitedStates and President |
| (leaderPosition Iran President) | Government.kif 1399-1399 | leaderPosition Iran and President |
| (subAttribute PresidentOfTheUnitedStates President) | Government.kif 1453-1453 | subAttribute PresidentOfTheUnitedStates and President |
| (termFormat ChineseLanguage President "主席") | domainEnglishFormat.kif 47179-47179 | termFormat ChineseLanguage, President and "主席" |
| (termFormat ChineseTraditionalLanguage President "主席") | domainEnglishFormat.kif 47178-47178 | termFormat ChineseTraditionalLanguage, President and "主席" |
| (termFormat EnglishLanguage President "President") | MilitaryPersons.kif 693-693 | termFormat EnglishLanguage, President and "President" |
| (termFormat EnglishLanguage President "president") | domainEnglishFormat.kif 47177-47177 | termFormat EnglishLanguage, President and "president" |
| consequent |
|
|
| (=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President)) |
MilitaryPersons.kif 473-478 |
|
|
|