No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1768-1768 |
特克斯和凯科斯克里奥尔语英语 是 东大西洋英语克里奥尔语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1584-1584 |
东北大西洋英语克里奥尔语 是 东大西洋英语克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1645-1645 |
基于东南大西洋英语的克里奥尔语 是 东大西洋英语克里奥尔语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20850-20850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20849-20849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20848-20848 |
|