SiouanLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12662-12664
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8715-8715
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12661-12661	子類 siouan語言 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12668-12668	子類 catawba集團的語言 and siouan語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12683-12683	子類 siouan適當的語言 and siouan語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53216-53216
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53215-53215
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53214-53214