TreeView Knowledge Base Browser - EskimoAleutLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6479-6480
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6478-6478	爱斯基摩人阿拉伯语是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14626-14626	InuktitutLanguage 是爱斯基摩人阿拉伯语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14629-14629	InupiaqLanguage 是爱斯基摩人阿拉伯语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14631-14631	KalaallisutLanguage 是爱斯基摩人阿拉伯语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22420-22420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22419-22419
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22418-22418