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	DakotaGroupLanguage e' uma sub-classe de MississippiValleyLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12743-12743	AssiniboineLanguage e' uma instancia de DakotaGroupLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12759-12759	DakotaLanguage e' uma instancia de DakotaGroupLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12778-12778	LakotaLanguage e' uma instancia de DakotaGroupLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12790-12790	StoneyLanguage e' uma instancia de DakotaGroupLanguage
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