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	西鸟头语是鸟头语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13729-13729	卡拉拉布语是西鸟头语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13736-13736	Moi语言是西鸟头语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13743-13743	Moraid语言是西鸟头语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13751-13751	Seget语言是西鸟头语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13758-13758	Tehit语言是西鸟头语的 instance
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