No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2449-2449 |
例 ambonese馬來語 and 基於馬來語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2468-2468 |
例 巴巴馬來語言 and 基於馬來語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2496-2496 |
例 betawi語言 and 基於馬來語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2511-2511 |
例 古邦馬來語 and 基於馬來語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2522-2522 |
例 馬六甲克里奧爾語馬來語 and 基於馬來語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2533-2533 |
例 斯里蘭卡克里奧爾語馬來語 and 基於馬來語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35795-35795 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35794-35794 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35793-35793 |
|