TreeView Knowledge Base Browser - MississippiValleyLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12712-12713
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8600-8600
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9433-9433
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12711-12711	子類密西西比河谷語言 and 中央siouan語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12717-12717	子類 chiwere語言 and 密西西比河谷語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12738-12738	子類達科他群體語言 and 密西西比河谷語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12812-12812	子類 dhegiha語言 and 密西西比河谷語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12863-12863	子類溫尼貝戈語 and 密西西比河谷語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38055-38055
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38054-38054
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38053-38053