No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14847-14847 | Holiday e' uma sub-classe de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14854-14854 | FixedHoliday e' uma sub-classe de Holiday |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14859-14859 | MoveableHoliday e' uma sub-classe de Holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 264-264 | ChristianHoliday e' uma sub-classe de Holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 276-276 | JewishHoliday e' uma sub-classe de Holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 288-288 | USHoliday e' uma sub-classe de Holiday |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 228-228 | EidAlFitr e' uma sub-classe de Holiday |