TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Passover JewishHoliday)	Media.kif 593-593	Passover is a subclass of Jewish holiday
(subclass Passover MoveableHoliday)	Media.kif 594-594	Passover is a subclass of moveable holiday
(documentation Passover EnglishLanguage "An instance of Passover is a JewishHoliday that lasts for seven nights, or eight nights among Conservative and Orthodox Jews in the Diaspora. Technically, Passover is the first night of (or, immediately precedes) the Festival of Unlevened Bread. Passover commemorates the liberation of the Israelites from slavery in Egypt, as recounted in the Book of Exodus. In the Jewish (Hebrew) calendar, Passover begins at sunset on 14 Nisan.")	Media.kif 595-603	Passover is a subclass of moveable holiday

appearance as argument number 2

(termFormat EnglishLanguage Passover "passover")

antecedent

(=>
    (and
        (instance ?P Passover)
        (duration ?P
            (MeasureFn ?N DayDuration)))
    (or
        (equal ?N 7)
        (equal ?N 8)))

If X is an instance of passover and duration of X is Y day duration(s), then equal Y and 7 or equal Y and 8