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 596-599
(domain holidayTimeInArea 1 GeopoliticalArea) Government.kif 593-593 O argumento numero 1 de holidayTimeInArea e' uma instancia de Area Geopolitica
(domain holidayTimeInArea 2 TimePosition) Government.kif 594-594 O argumento numero 2 de holidayTimeInArea e' uma instancia de Posicao Temporal
(instance holidayTimeInArea AsymmetricRelation) Government.kif 592-592 holidayTimeInArea e' uma instancia de Relacao Assimetrica
(instance holidayTimeInArea BinaryPredicate) Government.kif 591-591 holidayTimeInArea e' uma instancia de Predicado Binario

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