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集團的語言 and 北部北哈馬拉語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13960-13960	例 tobelo語言 and tobelo集團的語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13974-13974	例 tugutil語言 and tobelo集團的語言
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