LadinLanguage |
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 | LadinLanguage e' uma instancia de RhaetianLanguage |
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 |