Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  holidayTimeInArea

 Sigma KEE - holidayTimeInArea
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 Le nombre 1 argument de holidayTimeInArea est une instance de secteur g�opolitique
(domain holidayTimeInArea 2 TimePosition) Government.kif 630-630 Le nombre 2 argument de holidayTimeInArea est une instance de position temporel
(instance holidayTimeInArea AsymmetricRelation) Government.kif 628-628 holidayTimeInArea est une instance de relation asym�trique
(instance holidayTimeInArea BinaryPredicate) Government.kif 627-627 holidayTimeInArea est une instance de pr�dicat binaire

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

Show without tree


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