No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12743-12743 |
例 assiniboine語言 and 達科他群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12759-12759 |
例 達科他語 and 達科他群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12778-12778 |
例 拉科塔語 and 達科他群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12790-12790 |
例 斯托尼語 and 達科他群體語言 |
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 |
|