No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2008-2008 |
Bislama语言 是 基于太平洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2023-2023 |
夏威夷克里奥尔语 是 基于太平洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2056-2056 |
Kriol语言 是 基于太平洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2072-2072 |
Ngatik男子克里奥尔语 是 基于太平洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2084-2084 |
皮金语 是 基于太平洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2097-2097 |
托克皮辛语 是 基于太平洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2111-2111 |
托雷斯海峡克里奥尔语 是 基于太平洋英语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43874-43874 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43873-43873 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43872-43872 |
|