UralicLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 13542-13543
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10324-10324
No TPTP formula. May not be expressible in strict first order.	Languages.kif 13541-13541	子類 uralic語言 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14613-14613	例 EstonianLanguage and uralic語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14430-14430	例 FinnishLanguage and uralic語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14622-14622	例 HungarianLanguage and uralic語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14640-14640	例 KomiLanguage and uralic語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14674-14674	例 NorthernSamiLanguage and uralic語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60680-60680
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60679-60679
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60678-60678