No TPTP formula. May not be expressible in strict first order. | Languages.kif 10535-10535 | PyreneanMozarabicLanguage e' uma sub-classe de WesternRomanceLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10541-10541 | MozarabicGroupLanguage e' uma sub-classe de PyreneanMozarabicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 10555-10555 | PyreneanLanguage e' uma sub-classe de PyreneanMozarabicLanguage |