No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12695-12695 |
子類 曼丹小組語言 and 中央siouan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12711-12711 |
子類 密西西比河谷語言 and 中央siouan語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13890-13890 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13889-13889 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13888-13888 |
|