MissouriValleyLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12886-12887
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12885-12885	子類密蘇里河谷語言 and siouan適當的語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12890-12890	例 crow語言 and 密蘇里河谷語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12904-12904	例希達薩語 and 密蘇里河谷語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38067-38067
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38066-38066
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38065-38065