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 480-481 | |
(externalImage President "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Bush_and_Putin_signing_SORT.jpg") | pictureList.kif 10201-10201 | |
(instance President Position) | Government.kif 1314-1314 | President は ポジション の instance では |
(subAttribute President MilitaryCommander) | MilitaryPersons.kif 479-479 | President は MilitaryCommander の subattribute では |
appearance as argument number 2 |
![]() |
(chiefOfStateType UnitedStates President) | MilitaryPersons.kif 492-492 | chiefOfStateType UnitedStates and President |
(leaderPosition Iran President) | Government.kif 1407-1407 | leaderPosition Iran and President |
(subAttribute PresidentOfTheUnitedStates President) | Government.kif 1461-1461 | PresidentOfTheUnitedStates は President の subattribute では |
(termFormat ChineseLanguage President "主席") | domainEnglishFormat.kif 47242-47242 | PresidentOfTheUnitedStates は President の subattribute では |
(termFormat ChineseTraditionalLanguage President "主席") | domainEnglishFormat.kif 47241-47241 | PresidentOfTheUnitedStates は President の subattribute では |
(termFormat EnglishLanguage President "president") | domainEnglishFormat.kif 47240-47240 | PresidentOfTheUnitedStates は President の subattribute では |
consequent |
![]() |
(=> (and (attribute ?MILITARY WarState) (instance ?MILITARY MilitaryOrganization) (leaderPosition ?MILITARY ?LEADER)) (subordinatePosition ?MILITARY ?LEADER President)) |
MilitaryPersons.kif 484-489 |
|
![]() |
![]() |