No TPTP formula. May not be expressible in strict first order. | Languages.kif 9380-9380 | RomanceLanguage est une sous-classe de ItalicLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9386-9386 | EasternRomanceLanguage est une sous-classe de RomanceLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9502-9502 | ItaloWesternRomanceLanguage est une sous-classe de RomanceLanguage |
![]() |