TreeView Knowledge Base Browser - PawneeKitsaiLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5968-5969
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5967-5967	Pawnee kitsai 语是北方的caddoan语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5973-5973	Kitai组语言是 pawnee kitsai 语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5987-5987	Pawnee 团体语言是 pawnee kitsai 语的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44856-44856
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44855-44855
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44854-44854