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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CategoryIIMember

Sigma KEE - CategoryIIMember
CategoryIIMember

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


(instance CategoryIIMember MemberStatus) Government.kif 2446-2446

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


(termFormat ChineseLanguage CategoryIIMember "categoryII成员") domainEnglishFormat.kif 13458-13458
(termFormat ChineseTraditionalLanguage CategoryIIMember "categoryII成員") domainEnglishFormat.kif 13457-13457
(termFormat EnglishLanguage CategoryIIMember "categoryII member") domainEnglishFormat.kif 13456-13456


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