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	南斯拉夫语是斯拉夫语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14586-14586	BosnianLanguage 是南斯拉夫语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14621-14621	CroatianLanguage 是南斯拉夫语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14672-14672	SerbianLanguage 是南斯拉夫语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10799-10799	东南的斯拉夫语是南斯拉夫语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10869-10869	西南斯拉夫语是南斯拉夫语的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54332-54332
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54331-54331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54330-54330