No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1835-1835 |
喀麦隆pidgin语言 是 krio组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1782-1782 |
Fernando po creole 英语 是 krio组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1798-1798 |
克里奥语 是 krio组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1821-1821 |
尼日利亚的洋泾浜语 是 krio组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32827-32827 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32826-32826 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32825-32825 |
|