TreeView Knowledge Base Browser - TepehuaGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13329-13330
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13328-13328	子類 tepehua 團體語 and 托博納坎語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13333-13333	例 huehuetla tepehua 語言 and tepehua 團體語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13345-13345	例比薩弗洛雷斯tepehua語言 and tepehua 團體語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13354-13354	例特拉奇奇科·特佩瓦語 and tepehua 團體語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57508-57508
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57507-57507
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57506-57506