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 632-635 | |
(domain holidayTimeInArea 1 GeopoliticalArea) | Government.kif 629-629 | holidayTimeInArea の数値 1 引数は 地政学的地域 の instance では %n |
(domain holidayTimeInArea 2 TimePosition) | Government.kif 630-630 | holidayTimeInArea の数値 2 引数は 時間位置 の instance では %n |
(instance holidayTimeInArea AsymmetricRelation) | Government.kif 628-628 | holidayTimeInArea は 非対称関係 の instance では %n |
(instance holidayTimeInArea BinaryPredicate) | Government.kif 627-627 | holidayTimeInArea は 2進述語 の instance では %n |
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 637-641 |
|