No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1413-1413 |
子類 基於南非荷蘭語的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1438-1438 |
子類 基於阿拉伯語的克里奧爾語言 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1493-1493 |
子類 基於阿薩姆語的克里奧爾語言 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1513-1513 |
子類 基於荷蘭語的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1553-1553 |
子類 基於英語的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2138-2138 |
子類 法語克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2337-2337 |
子類 基於德語的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2361-2361 |
子類 基於伊比利亞語的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2392-2392 |
子類 基於印尼語的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2412-2412 |
子類 基於kongo的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2443-2443 |
子類 基於馬來語的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2552-2552 |
子類 基於ngbandi的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2589-2589 |
子類 基於葡萄牙語的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2807-2807 |
子類 基於西班牙語的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2851-2851 |
子類 基於斯瓦希里語的克里奧爾語 and 克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2882-2882 |
子類 基於tetun的克里奧爾語 and 克里奧爾語 |
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 |
|