Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - President
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 PresidentMilitaryCommandersubattribute では

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 PresidentOfTheUnitedStatesPresidentsubattribute では
(termFormat ChineseLanguage President "主席") domainEnglishFormat.kif 47242-47242 PresidentOfTheUnitedStatesPresidentsubattribute では
(termFormat ChineseTraditionalLanguage President "主席") domainEnglishFormat.kif 47241-47241 PresidentOfTheUnitedStatesPresidentsubattribute では
(termFormat EnglishLanguage President "president") domainEnglishFormat.kif 47240-47240 PresidentOfTheUnitedStatesPresidentsubattribute では

consequent
-------------------------


(=>
    (and
        (attribute ?MILITARY WarState)
        (instance ?MILITARY MilitaryOrganization)
        (leaderPosition ?MILITARY ?LEADER))
    (subordinatePosition ?MILITARY ?LEADER President))
MilitaryPersons.kif 484-489


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners