No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12668-12668 |
子類 catawba集團的語言 and siouan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12683-12683 |
子類 siouan適當的語言 and siouan語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53218-53218 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53217-53217 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53216-53216 |
|