(subclass RomanceLanguage ItalicLanguage) | Languages.kif 9380-9380 | RomanceLanguage は ItalicLanguage の subclass では %n |
(subclass EasternRomanceLanguage RomanceLanguage) | Languages.kif 9386-9386 | EasternRomanceLanguage は RomanceLanguage の subclass では %n |
(subclass ItaloWesternRomanceLanguage RomanceLanguage) | Languages.kif 9502-9502 | ItaloWesternRomanceLanguage は RomanceLanguage の subclass では %n |