| CatalanValencianBalearLanguage(catalan valencian balear language)
| | Catalan |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10028-10069 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10584-10584 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10583-10583 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9924-9924 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10027-10027 | Catalan valencian balear language is an instance of east iberian language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13419-13419 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13418-13418 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13417-13417 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14759-14759 | "ca" in ISO_639_1 denotes catalan valencian balear language |
|
|
|