No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12743-12743 |
Assiniboine语言 是 达科他群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12759-12759 |
达科他语 是 达科他群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12778-12778 |
拉科塔语 是 达科他群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12790-12790 |
斯托尼语 是 达科他群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18402-18402 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18401-18401 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18400-18400 |
|