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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WappoLanguage

 Sigma KEE - WappoLanguage
WappoLanguage(wappo language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14318-14322
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8789-8789
No TPTP formula. May not be expressible in strict first order. Languages.kif 14317-14317 Wappo language is an instance of yuki group language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62153-62153
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62152-62152
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62151-62151


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