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	北瓦卡山语是瓦卡山语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13596-13596	海斯拉语是北瓦卡山语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13606-13606	Heiltsuk语言是北瓦卡山语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13616-13616	Kwakiutl语言是北瓦卡山语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41169-41169
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41168-41168
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41167-41167