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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 4/ 4b/ Bush_and_Putin_signing_SORT.jpg") pictureList.kif 10224-10224
(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 47159-47159
(termFormat ChineseTraditionalLanguage President "主席") domainEnglishFormat.kif 47158-47158
(termFormat EnglishLanguage President "President") MilitaryPersons.kif 693-693
(termFormat EnglishLanguage President "president") domainEnglishFormat.kif 47157-47157


        (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 3.0 is open source software produced by Articulate Software and its partners