TreeView Knowledge Base Browser - NorthernAmamiOkinawanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11357-11359
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11356-11356	北部的amami冲绳语是 amami冲绳语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11362-11362	基凯语是北部的amami冲绳语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11374-11374	Northern amami oshima 语是北部的amami冲绳语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11388-11388	南部的amami 大岛语言是北部的amami冲绳语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11400-11400	德之岛语是北部的amami冲绳语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41037-41037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41036-41036
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41035-41035