AustroAsiaticLanguage - Sigma Knowledge base Browser

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	奥斯特亚洲语言是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14636-14636	KhmerLanguage 是奥斯特亚洲语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14692-14692	VietnameseLanguage 是奥斯特亚洲语言的 instance
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