No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11659-11659 |
Baibai group language is a subclass of kiowa tanoan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11680-11680 |
Kwomtari group language is a subclass of kiowa tanoan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11712-11712 |
Pyu group language is a subclass of kiowa tanoan language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32581-32581 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32580-32580 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32579-32579 |
|