TreeView Knowledge Base Browser - EasternMuskogeanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12301-12302
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12300-12300	东部的muskogean语言是 muskogean语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 12305-12305	阿拉巴马语是东部的muskogean语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12315-12315	Koasati语言是东部的muskogean语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12331-12331	Mikasuki语言是东部的muskogean语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 12343-12343	Muskogee语言是东部的muskogean语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20922-20922
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20921-20921
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20920-20920