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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChurningButter

Sigma KEE - Chairman
Chairman

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


(instance Chairman Position) Government.kif 1320-1320 Chairman e' uma instancia de Posicao

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


(termFormat ChineseLanguage Chairman "主席") domainEnglishFormat.kif 14028-14028
(termFormat ChineseTraditionalLanguage Chairman "主席") domainEnglishFormat.kif 14027-14027
(termFormat EnglishLanguage Chairman "chairman") domainEnglishFormat.kif 14026-14026


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