TreeView Knowledge Base Browser - CentralSiouanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12690-12691
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12689-12689	中央siouan语言是 siouan适当的语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12695-12695	曼丹小组语言是中央siouan语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12711-12711	密西西比河谷语言是中央siouan语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13890-13890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13889-13889
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13888-13888