PyreneanLanguage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10556-10557 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10212-10212 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10555-10555 | PyreneanLanguage e' uma sub-classe de PyreneanMozarabicLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10560-10560 | AragoneseLanguage e' uma instancia de PyreneanLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48220-48220 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48219-48219 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48218-48218 |