TreeView Knowledge Base Browser - SouthwesternSlavicLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10870-10871
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10869-10869	子類西南斯拉夫語 and 南斯拉夫語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10874-10874	例羅馬語塞爾維亞語 and 西南斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10920-10920	例塞爾維亞克羅地亞語 and 西南斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10882-10882	例斯洛文尼亞語 and 西南斯拉夫語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54366-54366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54365-54365
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54364-54364