President - Sigma Knowledge base Browser

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 is an instance of position
(subAttribute President MilitaryCommander)	MilitaryPersons.kif 479-479	President is a subattribute of military commander

appearance as argument number 2

(chiefOfStateType UnitedStates President)	MilitaryPersons.kif 492-492	President is a chief of state type of united states
(leaderPosition Iran President)	Government.kif 1407-1407	President is a leader position of iran
(subAttribute PresidentOfTheUnitedStates President)	Government.kif 1461-1461	President of the united states is a subattribute of president
(termFormat ChineseLanguage President "主席")	domainEnglishFormat.kif 47271-47271	President of the united states is a subattribute of president
(termFormat ChineseTraditionalLanguage President "主席")	domainEnglishFormat.kif 47270-47270	President of the united states is a subattribute of president
(termFormat EnglishLanguage President "president")	domainEnglishFormat.kif 47269-47269	President of the united states is a subattribute of president

consequent

(=>
    (and
        (attribute ?MILITARY WarState)
        (instance ?MILITARY MilitaryOrganization)
        (leaderPosition ?MILITARY ?LEADER))
    (subordinatePosition ?MILITARY ?LEADER President))

MilitaryPersons.kif 484-489