TreeView Knowledge Base Browser - WestBirdsHeadLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13725-13726
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13724-13724	子類西鳥頭語 and 鳥頭語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13729-13729	例卡拉拉布語 and 西鳥頭語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13736-13736	例 moi語言 and 西鳥頭語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13743-13743	例 moraid語言 and 西鳥頭語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13751-13751	例 seget語言 and 西鳥頭語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13758-13758	例 tehit語言 and 西鳥頭語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62739-62739
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62738-62738
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62737-62737