(subclass SkoLanguage SpokenHumanLanguage) | Languages.kif 12953-12953 | SkoLanguage は SpokenHumanLanguage の subclass では %n |
(subclass KrisaGroupLanguage SkoLanguage) | Languages.kif 12960-12960 | KrisaGroupLanguage は SkoLanguage の subclass では %n |
(subclass VanimoGroupLanguage SkoLanguage) | Languages.kif 12997-12997 | VanimoGroupLanguage は SkoLanguage の subclass では %n |