No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6576-6576 |
Atakapa language is an instance of gulf language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6584-6584 |
Chitimacha language is an instance of gulf language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6591-6591 |
Natchez language is an instance of gulf language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6598-6598 |
Tunica language is an instance of gulf language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27048-27048 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27047-27047 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27046-27046 |
|