holidayTimeInArea - Sigma Knowledge base Browser

appearance as argument number 1

(instance holidayTimeInArea BinaryPredicate)	Government.kif 591-591	holiday time in area is an instance of binary predicate
(instance holidayTimeInArea AsymmetricRelation)	Government.kif 592-592	holiday time in area is an instance of asymmetric relation
(domain holidayTimeInArea 1 GeopoliticalArea)	Government.kif 593-593	The number 1 argument of holiday time in area is an instance of geopolitical area
(domain holidayTimeInArea 2 TimePosition)	Government.kif 594-594	The number 2 argument of holiday time in area is an instance of time position
(documentation holidayTimeInArea EnglishLanguage "(holidayTimeInArea ?AREA ?TIME) means that ?TIME is a particular time period during which Holiday is observed, thus during which normal government, business, and other services may not operate.")	Government.kif 596-599	The number 2 argument of holiday time in area is an instance of time position

appearance as argument number 2

(format EnglishLanguage holidayTimeInArea "%2 is %n a holiday time in area of %1")	domainEnglishFormat.kif 1191-1191
(format ChineseTraditionalLanguage holidayTimeInArea "%2 %n 是地區 %1 的 holiday 時間")	domainEnglishFormat.kif 1192-1192
(format ChineseLanguage holidayTimeInArea "%2 %n 是地区 %1 的 holiday 时间")	domainEnglishFormat.kif 1193-1193
(termFormat EnglishLanguage holidayTimeInArea "holiday time in area")	domainEnglishFormat.kif 28397-28397
(termFormat ChineseTraditionalLanguage holidayTimeInArea "在該地區度假")	domainEnglishFormat.kif 28398-28398
(termFormat ChineseLanguage holidayTimeInArea "在该地区度假")	domainEnglishFormat.kif 28399-28399

consequent

(=>
    (and
        (nationalHoliday ?AREA ?HOLIDAY)
        (instance ?DAY ?HOLIDAY))
    (holidayTimeInArea ?AREA ?DAY))

If X is a national holiday of Y and Z is an instance of X, then Z is a holiday time in area of Y