TreeView Knowledge Base Browser - TobeloGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13956-13957
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13955-13955	Tobelo集团的语言是北部北哈马拉语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13960-13960	Tobelo语言是 tobelo集团的语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13974-13974	Tugutil语言是 tobelo集团的语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58304-58304
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58303-58303
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58302-58302