holidayTimeInArea |
appearance as argument number 1 |
(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 | |
(domain holidayTimeInArea 1 GeopoliticalArea) | Government.kif 593-593 | Die Zahl 1 Argument von holidayTimeInArea ist ein fall von GeopoliticalArea %n{nicht} |
(domain holidayTimeInArea 2 TimePosition) | Government.kif 594-594 | Die Zahl 2 Argument von holidayTimeInArea ist ein fall von TimePosition %n{nicht} |
(instance holidayTimeInArea AsymmetricRelation) | Government.kif 592-592 | holidayTimeInArea ist ein fall von AsymmetricRelation %n{nicht} |
(instance holidayTimeInArea BinaryPredicate) | Government.kif 591-591 | holidayTimeInArea ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage holidayTimeInArea "%2 %n 是地区 %1 的 holiday 时间") | domainEnglishFormat.kif 1193-1193 | |
(format ChineseTraditionalLanguage holidayTimeInArea "%2 %n 是地區 %1 的 holiday 時間") | domainEnglishFormat.kif 1192-1192 | |
(format EnglishLanguage holidayTimeInArea "%2 is %n a holiday time in area of %1") | domainEnglishFormat.kif 1191-1191 | |
(termFormat ChineseLanguage holidayTimeInArea "在该地区度假") | domainEnglishFormat.kif 28395-28395 | |
(termFormat ChineseTraditionalLanguage holidayTimeInArea "在該地區度假") | domainEnglishFormat.kif 28394-28394 | |
(termFormat EnglishLanguage holidayTimeInArea "holiday time in area") | domainEnglishFormat.kif 28393-28393 |
consequent |
(=> (and (nationalHoliday ?AREA ?HOLIDAY) (instance ?DAY ?HOLIDAY)) (holidayTimeInArea ?AREA ?DAY)) |
Government.kif 601-605 |
|