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	子類南方白種人語言 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13040-13040	子類格魯吉亞組語言 and 南方白種人語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13089-13089	子類斯文組語言 and 南方白種人語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13107-13107	子類咱語言 and 南方白種人語言
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