TreeView Knowledge Base Browser - AustroAsiaticLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5707-5709
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5706-5706	子類奧斯特亞洲語言 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14636-14636	例 KhmerLanguage and 奧斯特亞洲語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14692-14692	例 VietnameseLanguage and 奧斯特亞洲語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9132-9132
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9131-9131
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9130-9130