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语言是伊比利亚浪漫语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10078-10078	Auvergnat语言是 oc语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10091-10091	Gascon语言是 oc语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10139-10139	语言学是 oc语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10125-10125	利穆赞语是 oc语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10159-10159	普罗旺斯语是 oc语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10189-10189	Shuadit语言是 oc语言的 instance
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