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	子類東鳥頭語 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 6442-6442	例 manikion語言 and 東鳥頭語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6450-6450	例 meyah語言 and 東鳥頭語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6460-6460	例莫斯科納語 and 東鳥頭語
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