TreeView Knowledge Base Browser - CayapaColoradoLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5788-5789
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5787-5787	Cayapa colorado language is a subclass of barbacoan language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5792-5792	Chachi language is an instance of cayapa colorado language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5806-5806	Colorado language is an instance of cayapa colorado language
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13578-13578
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13577-13577
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13576-13576