No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12668-12668 |
Catawba group language is a subclass of siouan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12683-12683 |
Siouan proper language is a subclass of siouan language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53216-53216 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53215-53215 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53214-53214 |
|