TreeView Knowledge Base Browser - SpanishBasedCreoleLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 2808-2810
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2807-2807	Spanish based creole language is a subclass of creole language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 2813-2813	Chavacano language is an instance of spanish based creole language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2835-2835	Palenquero language is an instance of spanish based creole language
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54440-54440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54439-54439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54438-54438