TreeView Knowledge Base Browser - NorthernGreatAndamaneseLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5432-5434
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5431-5431	北方伟大的佛罗伦萨语是伟大的安达曼语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5437-5437	Aka bo语言是北方伟大的佛罗伦萨语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5444-5444	Aka cari 语言是北方伟大的佛罗伦萨语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5459-5459	Aka jeru 语言是北方伟大的佛罗伦萨语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5452-5452	Aka kora 语言是北方伟大的佛罗伦萨语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41091-41091
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41090-41090
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41089-41089