No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12717-12717 |
Chiwere语言 是 密西西比河谷语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12738-12738 |
达科他群体语言 是 密西西比河谷语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12812-12812 |
Dhegiha语言 是 密西西比河谷语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12863-12863 |
温尼贝戈语 是 密西西比河谷语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38055-38055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38054-38054 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38053-38053 |
|