TreeView Knowledge Base Browser - DakotaGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12739-12740
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12738-12738	达科他群体语言是密西西比河谷语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12743-12743	Assiniboine语言是达科他群体语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12759-12759	达科他语是达科他群体语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12778-12778	拉科塔语是达科他群体语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12790-12790	斯托尼语是达科他群体语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18402-18402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18401-18401
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18400-18400