(subclass Month TimeInterval) | Merge.kif 9043-9043 | Mois est une sous-classe de interval temporel |
(subclass January Month) | Merge.kif 9048-9048 | Janvier est une sous-classe de mois |
(subclass February Month) | Merge.kif 9062-9062 | F�vrier est une sous-classe de mois |
(subclass March Month) | Merge.kif 9086-9086 | Mars est une sous-classe de mois |
(subclass April Month) | Merge.kif 9100-9100 | Avril est une sous-classe de mois |
(subclass May Month) | Merge.kif 9114-9114 | Mai est une sous-classe de mois |
(subclass June Month) | Merge.kif 9128-9128 | Juin est une sous-classe de mois |
(subclass July Month) | Merge.kif 9142-9142 | Juillet est une sous-classe de mois |
(subclass August Month) | Merge.kif 9156-9156 | Ao�t est une sous-classe de mois |
(subclass September Month) | Merge.kif 9170-9170 | Septembre est une sous-classe de mois |
(subclass October Month) | Merge.kif 9185-9185 | Octobre est une sous-classe de mois |
(subclass November Month) | Merge.kif 9199-9199 | Novembre est une sous-classe de mois |
(subclass December Month) | Merge.kif 9213-9213 | Decembre est une sous-classe de mois |