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	子類北方偉大的佛羅倫薩語 and 偉大的安達曼語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5437-5437	例 aka bo語言 and 北方偉大的佛羅倫薩語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5444-5444	例 aka cari 語言 and 北方偉大的佛羅倫薩語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5459-5459	例 aka jeru 語言 and 北方偉大的佛羅倫薩語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5452-5452	例 aka kora 語言 and 北方偉大的佛羅倫薩語
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