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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HokanLanguage

 Sigma KEE - HokanLanguage
HokanLanguage(hokan language)Achomawi, Akwa'ala, Atsugewi, Chimariko, Cochimi, Cocopa, Cocopah, Diegueno, Esselen, Havasupai, Hoka, Hokan, Hualapai, Hualpai, Kamia, Karok, Kiliwa, Kiliwi, Kulanapan, Maricopa, Mohave, Mojave, Pomo, Quoratean, Shasta, Shastan, Walapai, Yahi, Yana, Yanan, Yavapai, Yuma, Yuman

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6651-6652
No TPTP formula. May not be expressible in strict first order. Languages.kif 6650-6650 Hokan language is a subclass of spoken human language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28341-28341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28340-28340
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28339-28339


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