TreeView Knowledge Base Browser - NorthernWakashanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13592-13593
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13591-13591	子類北瓦卡山語 and 瓦卡山語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13596-13596	例海斯拉語 and 北瓦卡山語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13606-13606	例 heiltsuk語言 and 北瓦卡山語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13616-13616	例 kwakiutl語言 and 北瓦卡山語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41171-41171
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41170-41170
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41169-41169