No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12717-12717 |
子類 chiwere語言 and 密西西比河谷語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12738-12738 |
子類 達科他群體語言 and 密西西比河谷語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12812-12812 |
子類 dhegiha語言 and 密西西比河谷語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12863-12863 |
子類 溫尼貝戈語 and 密西西比河谷語言 |
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 |
|