No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1590-1590 |
Afro seminole creole 语言 是 东北大西洋英语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1608-1608 |
巴哈马克里奥尔语英语 是 东北大西洋英语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1623-1623 |
海岛克里奥尔语英语 是 东北大西洋英语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41013-41013 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41012-41012 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41011-41011 |
|