TreeView Knowledge Base Browser - KongoBasedCreoleLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 2413-2415
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2412-2412	子類基於kongo的克里奧爾語 and 克里奧爾語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 2418-2418	例 Kituba語言 and 基於kongo的克里奧爾語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2432-2432	例 munukutuba語言 and 基於kongo的克里奧爾語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32773-32773
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32772-32772
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32771-32771