TreeView Knowledge Base Browser - NorthernCaddoanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5962-5963
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5961-5961	北方的caddoan语言是 caddoan语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5967-5967	Pawnee kitsai 语是北方的caddoan语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 6016-6016	威奇托集团的语言是北方的caddoan语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41055-41055
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41054-41054
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41053-41053