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 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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners