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	子類西斯拉夫語 and 斯拉夫語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10993-10993	子類捷克斯洛伐克語 and 西斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11038-11038	子類 lechitic語言 and 西斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11088-11088	子類索爾語 and 西斯拉夫語
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