TreeView Knowledge Base Browser - WitotoGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14084-14086
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14083-14083	Witoto 团体语言是 witotoan语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14090-14090	Ocaina集团的语言是 witoto 团体语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14110-14110	Witoto 恰当的语言是 witoto 团体语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63279-63279
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63278-63278
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63277-63277