TreeView Knowledge Base Browser - EastBirdsHeadLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6437-6439
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6436-6436	East birds head language is a subclass of spoken human language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6442-6442	Manikion language is an instance of east birds head language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6450-6450	Meyah language is an instance of east birds head language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6460-6460	Moskona language is an instance of east birds head language
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20832-20832
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20831-20831
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20830-20830