No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1413-1413 |
基于南非荷兰语的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1438-1438 |
基于阿拉伯语的克里奥尔语言 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1493-1493 |
基于阿萨姆语的克里奥尔语言 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1513-1513 |
基于荷兰语的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1553-1553 |
基于英语的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2138-2138 |
法语克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2337-2337 |
基于德语的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2361-2361 |
基于伊比利亚语的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2392-2392 |
基于印尼语的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2412-2412 |
基于kongo的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2443-2443 |
基于马来语的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2552-2552 |
基于ngbandi的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2589-2589 |
基于葡萄牙语的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2807-2807 |
基于西班牙语的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2851-2851 |
基于斯瓦希里语的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2882-2882 |
基于tetun的克里奥尔语 是 克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17808-17808 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17807-17807 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17806-17806 |
|