| (subclass DayTime TimeInterval) | Merge.kif 8893-8893 | DayTime は 時間間隔 の subclass では %n |
| (subclass Afternoon DayTime) | Merge.kif 8824-8824 | Afternoon は DayTime の subclass では %n |
| (subclass Morning DayTime) | Merge.kif 8839-8839 | Morning は DayTime の subclass では %n |
|
|