Day(jour) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24233-24233 | Le nombre 2 argument de birthday est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 851-851 | Le nombre 2 argument de daylightHoursInterval est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 861-861 | Le nombre 2 argument de daylightHoursTotal est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24192-24192 | Le nombre 2 argument de weddingAnniversary est une sous-classe de jour |