TreeView Knowledge Base Browser - TacanaProperLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13253-13254
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13252-13252	子類塔卡納語適當的語言 and cavinena tacana 語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13257-13257	例雷耶薩諾語 and 塔卡納語適當的語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13266-13266	例塔卡納語 and 塔卡納語適當的語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13273-13273	例 toromono語言 and 塔卡納語適當的語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56727-56727
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56726-56726
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56725-56725