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集團的語言 and sko語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13002-13002	例 skou語言 and vanimo集團的語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13016-13016	例 vanimo語言 and vanimo集團的語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13024-13024	例梧桐語 and vanimo集團的語言
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