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	子類愛斯基摩人阿拉伯語 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14626-14626	例 InuktitutLanguage and 愛斯基摩人阿拉伯語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14629-14629	例 InupiaqLanguage and 愛斯基摩人阿拉伯語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14631-14631	例 KalaallisutLanguage and 愛斯基摩人阿拉伯語
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