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 团体语是托博纳坎语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13333-13333	Huehuetla tepehua 语言是 tepehua 团体语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13345-13345	比萨弗洛雷斯tepehua语言是 tepehua 团体语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13354-13354	特拉奇奇科·特佩瓦语是 tepehua 团体语的 instance
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