| 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 | The number 1 argument of holidayTimeInArea is an instance of geopolitical area |
| (domain holidayTimeInArea 2 TimePosition) | Government.kif 594-594 | The number 2 argument of holidayTimeInArea is an instance of time position |
| (instance holidayTimeInArea AsymmetricRelation) | Government.kif 592-592 | holidayTimeInArea is an instance of asymmetric relation |
| (instance holidayTimeInArea BinaryPredicate) | Government.kif 591-591 | holidayTimeInArea is an instance of binary predicate |
| 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 28405-28405 | |
| (termFormat ChineseTraditionalLanguage holidayTimeInArea "在該地區度假") | domainEnglishFormat.kif 28404-28404 | |
| (termFormat EnglishLanguage holidayTimeInArea "holiday time in area") | domainEnglishFormat.kif 28403-28403 |
| consequent |
|
|
| (=> (and (nationalHoliday ?AREA ?HOLIDAY) (instance ?DAY ?HOLIDAY)) (holidayTimeInArea ?AREA ?DAY)) |
Government.kif 601-605 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners