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語言 and 伊比利亞浪漫語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 10078-10078	例 auvergnat語言 and oc語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10091-10091	例 gascon語言 and oc語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10139-10139	例語言學 and oc語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10125-10125	例利穆讚語 and oc語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10159-10159	例普羅旺斯語 and oc語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 10189-10189	例 shuadit語言 and oc語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41646-41646
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41645-41645
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41644-41644