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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PresidentOfTheUnitedStates

Sigma KEE - PresidentOfTheUnitedStates
PresidentOfTheUnitedStates

appearance as argument number 1
-------------------------


(documentation PresidentOfTheUnitedStates EnglishLanguage "The position of being head of the UnitedStates.") Government.kif 1500-1501
(externalImage PresidentOfTheUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Bush_and_Putin_signing_SORT.jpg") pictureList.kif 10204-10204
(instance PresidentOfTheUnitedStates Position) Government.kif 1498-1498 PresidentOfTheUnitedStatesポジションinstance では %n
(subAttribute PresidentOfTheUnitedStates President) Government.kif 1499-1499 PresidentOfTheUnitedStatesPresidentsubattribute では %n

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage PresidentOfTheUnitedStates "美国总统") domainEnglishFormat.kif 47252-47252
(termFormat ChineseTraditionalLanguage PresidentOfTheUnitedStates "美國總統") domainEnglishFormat.kif 47251-47251
(termFormat EnglishLanguage PresidentOfTheUnitedStates "president of the united states") domainEnglishFormat.kif 47250-47250

antecedent
-------------------------


(=>
    (attribute ?H PresidentOfTheUnitedStates)
    (leader ?H UnitedStates))
Government.kif 1503-1505


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

Show without tree


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