No TPTP formula. May not be expressible in strict first order. | Languages.kif 9380-9380 | RomanceLanguage e' uma sub-classe de ItalicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9386-9386 | EasternRomanceLanguage e' uma sub-classe de RomanceLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9502-9502 | ItaloWesternRomanceLanguage e' uma sub-classe de RomanceLanguage |