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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChoctawLanguage

 Sigma KEE - ChoctawLanguage
ChoctawLanguage
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12362-12377
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8418-8418
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9054-9054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9055-9055
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9056-9056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9057-9057
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9058-9058
No TPTP formula. May not be expressible in strict first order. Languages.kif 12361-12361 ChoctawLanguage e' uma instancia de WesternMuskogeanLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14658-14658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14657-14657
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14656-14656


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