OcLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10074-10075
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10157-10157
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11524-11524
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10073-10073	Oc language is a subclass of ibero romance language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10078-10078	Auvergnat language is an instance of oc language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10091-10091	Gascon language is an instance of oc language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10139-10139	Languedocien language is an instance of oc language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10125-10125	Limousin language is an instance of oc language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10159-10159	Provencal language is an instance of oc language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10189-10189	Shuadit language is an instance of oc language
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41644-41644
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41643-41643
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41642-41642