SlavicLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10692-10693
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7876-7876
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6863-6863
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7877-7877
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10691-10691	子類斯拉夫語 and 印度歐洲語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10697-10697	子類東斯拉夫語 and 斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10793-10793	子類南斯拉夫語 and 斯拉夫語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10987-10987	子類西斯拉夫語 and 斯拉夫語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53372-53372
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53371-53371
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53370-53370