TreeView Knowledge Base Browser - SouthCaucasianLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13034-13036
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13033-13033	南方白种人语言是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13040-13040	格鲁吉亚组语言是南方白种人语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13089-13089	斯文组语言是南方白种人语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13107-13107	咱语言是南方白种人语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54084-54084
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54083-54083
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54082-54082