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语言是加洛拉蒂安语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14694-14694	WalloonLanguage 是 oiel语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9752-9752	法语小组语言是 oiel语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9937-9937	东南地区的语言是 oiel语言的 subclass
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