ChickasawLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12381-12389 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9051-9051 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8415-8415 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12380-12380 | ChickasawLanguage est une instance de WesternMuskogeanLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14412-14412 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14411-14411 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14410-14410 |