TreeView Knowledge Base Browser - NorthernIroquoianLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11130-11131
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11129-11129	北方的iroquoian语言是 iroquoian语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11144-11144	五国语言是北方的iroquoian语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11237-11237	休恩语是北方的iroquoian语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11135-11135	Laurentian语言是北方的iroquoian语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11256-11256	Tuscarora nottoway 语是北方的iroquoian语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41109-41109
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41108-41108
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41107-41107