TreeView Knowledge Base Browser - CavinenaTacanaLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13229-13230
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13228-13228	子類 cavinena tacana 語言 and 塔卡語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13234-13234	子類 cavinena 團體語言 and cavinena tacana 語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13252-13252	子類塔卡納語適當的語言 and cavinena tacana 語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13572-13572
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13571-13571
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13570-13570