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科羅拉多語言 and 巴巴科語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5792-5792	例 chachi語言 and cayapa科羅拉多語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5806-5806	例科羅拉多語 and cayapa科羅拉多語言
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