TreeView Knowledge Base Browser - SurinameEnglishBasedCreoleLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 1851-1853
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1850-1850	苏里南英语为基础的克里奥尔语是基于大西洋英语的克里奥尔语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 1886-1886	Sranan语言是苏里南英语为基础的克里奥尔语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 1856-1856	Ndyuka语言是苏里南英语为基础的克里奥尔语的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56365-56365
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56364-56364
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56363-56363