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 | Mississippi valley language is a subclass of central siouan language |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12717-12717 | Chiwere language is a subclass of mississippi valley language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12738-12738 | Dakota group language is a subclass of mississippi valley language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12812-12812 | Dhegiha language is a subclass of mississippi valley language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12863-12863 | Winnebago language is a subclass of mississippi valley language |
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 |