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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChickasawLanguage

 Sigma KEE - ChickasawLanguage
ChickasawLanguage(chickasaw language)
Chickasaw

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 12381-12389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9051-9051
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8415-8415
No TPTP formula. May not be expressible in strict first order. Languages.kif 12380-12380 Chickasaw language is an instance of western muskogean language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14412-14412
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14411-14411
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14410-14410


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