| 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 10607-10607 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10606-10606 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9943-9943 | |
| 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 13354-13354 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13353-13353 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13352-13352 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14737-14737 | "ca" in ISO-639-1 denotes catalan valencian balear language |
|
|
|