| (subclass Month TimeInterval) | Merge.kif 9065-9065 | Mois est une sous-classe de interval temporel |
| (subclass January Month) | Merge.kif 9070-9070 | Janvier est une sous-classe de mois |
| (subclass February Month) | Merge.kif 9084-9084 | F�vrier est une sous-classe de mois |
| (subclass March Month) | Merge.kif 9108-9108 | Mars est une sous-classe de mois |
| (subclass April Month) | Merge.kif 9122-9122 | Avril est une sous-classe de mois |
| (subclass May Month) | Merge.kif 9136-9136 | Mai est une sous-classe de mois |
| (subclass June Month) | Merge.kif 9150-9150 | Juin est une sous-classe de mois |
| (subclass July Month) | Merge.kif 9164-9164 | Juillet est une sous-classe de mois |
| (subclass August Month) | Merge.kif 9178-9178 | Ao�t est une sous-classe de mois |
| (subclass September Month) | Merge.kif 9192-9192 | Septembre est une sous-classe de mois |
| (subclass October Month) | Merge.kif 9207-9207 | Octobre est une sous-classe de mois |
| (subclass November Month) | Merge.kif 9221-9221 | Novembre est une sous-classe de mois |
| (subclass December Month) | Merge.kif 9235-9235 | Decembre est une sous-classe de mois |
|
|