No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2449-2449 |
Ambonese马来语 是 基于马来语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2468-2468 |
巴巴马来语言 是 基于马来语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2496-2496 |
Betawi语言 是 基于马来语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2511-2511 |
古邦马来语 是 基于马来语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2522-2522 |
马六甲克里奥尔语马来语 是 基于马来语的克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2533-2533 |
斯里兰卡克里奥尔语马来语 是 基于马来语的克里奥尔语 的 instance |
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 |
|