DhegihaLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12813-12814
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12812-12812	Dhegiha language is a subclass of mississippi valley language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12817-12817	Kansa language is an instance of dhegiha language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12825-12825	Omaha ponca language is an instance of dhegiha language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12843-12843	Osage language is an instance of dhegiha language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12853-12853	Quapaw language is an instance of dhegiha language
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19392-19392
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19391-19391
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19390-19390