No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2008-2008 |
例 bislama語言 and 基於太平洋英語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2023-2023 |
例 夏威夷克里奧爾語 and 基於太平洋英語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2056-2056 |
例 kriol語言 and 基於太平洋英語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2072-2072 |
例 ngatik男子克里奧爾語 and 基於太平洋英語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2084-2084 |
例 皮金語 and 基於太平洋英語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2097-2097 |
例 托克皮辛語 and 基於太平洋英語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2111-2111 |
例 托雷斯海峽克里奧爾語 and 基於太平洋英語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43872-43872 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43871-43871 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43870-43870 |
|