TreeView Knowledge Base Browser - EasternAtlanticEnglishBasedCreoleLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 1578-1581
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1577-1577	东大西洋英语克里奥尔语是基于大西洋英语的克里奥尔语言的 subclass

appearance as argument number 2

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