December(Dezembro) |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3055-3055 | dateEstablished WorldCustomsOrganization and o dia 15 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | WinterSeason e' igual a o periodo recorrente de Dezembro a Fevereiro |
No TPTP formula. May not be expressible in strict first order. | Media.kif 337-337 | ChristmasDay e' uma sub-classe de o dia 25 |