Holiday - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Holiday TimeInterval)	Mid-level-ontology.kif 16455-16455	Holiday is a subclass of timeframe
(documentation Holiday EnglishLanguage "Holiday is the class of time periods that are observed as holidays in a country, culture, or religion. Holidays may recur annually on the same date, or they may be moveable, for example, UnitedStatesThanksgivingDay falls on the last Thursday of each November.")	Mid-level-ontology.kif 16456-16460	Holiday is a subclass of timeframe

appearance as argument number 2

(subclass FixedHoliday Holiday)	Mid-level-ontology.kif 16462-16462	Fixed holiday is a subclass of holiday
(subclass MoveableHoliday Holiday)	Mid-level-ontology.kif 16467-16467	Moveable holiday is a subclass of holiday
(subclass EidAlFitr Holiday)	ArabicCulture.kif 228-228	Eid al fitr is a subclass of holiday
(subclass ChristianHoliday Holiday)	Media.kif 258-258	Christian holiday is a subclass of holiday
(subclass JewishHoliday Holiday)	Media.kif 270-270	Jewish holiday is a subclass of holiday
(subclass USHoliday Holiday)	Media.kif 282-282	US holiday is a subclass of holiday
(termFormat EnglishLanguage Holiday "holiday")	domainEnglishFormat.kif 28385-28385	US holiday is a subclass of holiday
(termFormat ChineseTraditionalLanguage Holiday "假日")	domainEnglishFormat.kif 28386-28386	US holiday is a subclass of holiday
(termFormat ChineseLanguage Holiday "假日")	domainEnglishFormat.kif 28387-28387	US holiday is a subclass of holiday

appearance as argument number 3

(domainSubclass nationalCelebration 2 Holiday)	Government.kif 525-525	The number 2 argument of national celebration is a subclass of holiday
(domainSubclass nationalHoliday 2 Holiday)	Government.kif 535-535	The number 2 argument of national holiday is a subclass of holiday
(domainSubclass commemoratesDate 1 Holiday)	Government.kif 567-567	The number 1 argument of commemorates date is a subclass of holiday
(domain observesHoliday 2 Holiday)	Media.kif 233-233	The number 2 argument of observes holiday is an instance of holiday

antecedent

(=>
    (instance ?T1 Holiday)
    (exists (?A)
        (observesHoliday ?A ?T1)))

If X is an instance of holiday, then there exists Y such that Y observes X

consequent

(=>
    (instance ?C HolidayCard)
    (exists (?H)
        (and
            (instance ?H Holiday)
            (refers ?C ?H))))

If X is an instance of holiday card, then there exists Y such that Y is an instance of holiday and X includes a reference to Y