TreeView Knowledge Base Browser - WestSlavicLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10988-10989
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10987-10987	西斯拉夫语是斯拉夫语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10993-10993	捷克斯洛伐克语是西斯拉夫语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11038-11038	Lechitic语言是西斯拉夫语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11088-11088	索尔语是西斯拉夫语的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62921-62921
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62920-62920
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62919-62919