TreeView Knowledge Base Browser - EastSlavicLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10698-10699
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10697-10697	子類東斯拉夫語 and 斯拉夫語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10756-10756	例白俄羅斯語言 and 東斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10723-10723	例俄語 and 東斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10702-10702	例魯辛語 and 東斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10774-10774	例烏克蘭語 and 東斯拉夫語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21012-21012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21011-21011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21010-21010