TreeView Knowledge Base Browser - SiouanProperLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12684-12685
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12683-12683	Siouan适当的语言是 siouan语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12689-12689	中央siouan语言是 siouan适当的语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12885-12885	密苏里河谷语言是 siouan适当的语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12915-12915	东南部的siouan语言是 siouan适当的语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53222-53222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53221-53221
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53220-53220