No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12689-12689 |
子類 中央siouan語言 and siouan適當的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12885-12885 |
子類 密蘇里河谷語言 and siouan適當的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12915-12915 |
子類 東南部的siouan語言 and siouan適當的語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53222-53222 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53221-53221 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53220-53220 |
|