TreeView Knowledge Base Browser - SoutheasternSiouanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12916-12918
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12915-12915	东南部的siouan语言是 siouan适当的语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12922-12922	Biloxi ofo 语言是东南部的siouan语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12940-12940	Tutelo集团的语言是东南部的siouan语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54126-54126
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54125-54125
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54124-54124