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 團體語言 and witotoan語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14090-14090	子類 ocaina集團的語言 and witoto 團體語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14110-14110	子類 witoto 恰當的語言 and witoto 團體語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63281-63281
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63280-63280
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63279-63279