No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1835-1835 |
例 喀麥隆pidgin語言 and krio組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1782-1782 |
例 fernando po creole 英語 and krio組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1798-1798 |
例 克里奧語 and krio組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1821-1821 |
例 尼日利亞的洋涇浜語 and krio組語言 |
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 |
|