| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9502-9502 | ItaloWesternRomanceLanguage e' uma sub-classe de RomanceLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9508-9508 | ItaloDalmatianRomanceLanguage e' uma sub-classe de ItaloWesternRomanceLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 9618-9618 | WesternRomanceLanguage e' uma sub-classe de ItaloWesternRomanceLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10593-10593 | SouthernRomanceLanguage e' uma sub-classe de ItaloWesternRomanceLanguage |
|
|