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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LakeWalker
LakeWalker

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


(instance LakeWalker SaltLake) Geography.kif 5117-5117

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


(names "Lake Walker" LakeWalker) Geography.kif 5118-5118
(termFormat ChineseLanguage LakeWalker "湖边的行人") domainEnglishFormat.kif 33157-33157
(termFormat ChineseTraditionalLanguage LakeWalker "湖邊的行人") domainEnglishFormat.kif 33156-33156
(termFormat EnglishLanguage LakeWalker "lake walker") domainEnglishFormat.kif 33155-33155


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