| LadinLanguage(ladin language)
| | Ladin |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9991-9994 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8564-8564 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9362-9362 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9990-9990 | Ladin language is an instance of rhaetian language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33091-33091 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33090-33090 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33089-33089 |
|
|
|