President - Sigma Knowledge base Browser

appearance as argument number 1

(instance President Position)	Government.kif 1323-1323	President is an instance of position
(subAttribute President MilitaryCommander)	MilitaryPersons.kif 482-482	President is a subattribute of military commander
(documentation President EnglishLanguage "The president of some Nation. He has the power of command during WarState, i.e. the state of War.")	MilitaryPersons.kif 483-484	President is a subattribute of military commander
(externalImage President "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Bush_and_Putin_signing_SORT.jpg")	pictureList.kif 10201-10201	President is a subattribute of military commander

appearance as argument number 2

(leaderPosition Iran President)	Government.kif 1416-1416	President is a leader position of iran
(subAttribute PresidentOfTheUnitedStates President)	Government.kif 1470-1470	President of the united states is a subattribute of president
(chiefOfStateType UnitedStates President)	MilitaryPersons.kif 495-495	President is a chief of state type of united states
(termFormat EnglishLanguage President "president")	domainEnglishFormat.kif 47233-47233	President is a chief of state type of united states
(termFormat ChineseTraditionalLanguage President "主席")	domainEnglishFormat.kif 47234-47234	President is a chief of state type of united states
(termFormat ChineseLanguage President "主席")	domainEnglishFormat.kif 47235-47235	President is a chief of state type of united states

consequent

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