No TPTP formula. May not be expressible in strict first order. | Languages.kif 5961-5961 | Northern caddoan language is a subclass of caddoan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5967-5967 | Pawnee kitsai language is a subclass of northern caddoan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6016-6016 | Witchita group language is a subclass of northern caddoan language |