TreeView Knowledge Base Browser - VanimoGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12998-12999
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12997-12997	Vanimo集团的语言是 sko语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13002-13002	Skou语言是 vanimo集团的语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13016-13016	Vanimo语言是 vanimo集团的语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13024-13024	梧桐语是 vanimo集团的语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61244-61244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61243-61243
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61242-61242