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	密西西比河谷语言是中央siouan语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12717-12717	Chiwere语言是密西西比河谷语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12738-12738	达科他群体语言是密西西比河谷语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12812-12812	Dhegiha语言是密西西比河谷语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12863-12863	温尼贝戈语是密西西比河谷语言的 subclass
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