TreeView Knowledge Base Browser - BayonoAwbonoLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5929-5931
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5928-5928	Bayono awbono 语言是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5934-5934	Awbono语言是 bayono awbono 语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5945-5945	巴约语言是 bayono awbono 语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10260-10260
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10259-10259
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10258-10258