TreeView Knowledge Base Browser - SouthSlavicLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10794-10795
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10793-10793	子類南斯拉夫語 and 斯拉夫語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14586-14586	例 BosnianLanguage and 南斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14621-14621	例 CroatianLanguage and 南斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14672-14672	例 SerbianLanguage and 南斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10799-10799	子類東南的斯拉夫語 and 南斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10869-10869	子類西南斯拉夫語 and 南斯拉夫語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54330-54330
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54329-54329
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54328-54328