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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SiwaGroupLanguage

 Sigma KEE - SiwaGroupLanguage
SiwaGroupLanguage(西瓦集團的語言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4643-4644
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10259-10259
No TPTP formula. May not be expressible in strict first order. Languages.kif 4642-4642 子類 西瓦集團的語言 and 東伯爾伯語

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4647-4647 例 西瓦語 and 西瓦集團的語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53276-53276
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53275-53275
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53274-53274


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