OielLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9747-9748
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9746-9746	子類 oiel語言 and 加洛拉蒂安語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14694-14694	例 WalloonLanguage and oiel語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9752-9752	子類法語小組語言 and oiel語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9937-9937	子類東南地區的語言 and oiel語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41928-41928
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41927-41927
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41926-41926