| appearance as argument number 1 |
|
| (documentation observesHoliday EnglishLanguage "(observesHoliday ?CognitiveAgent ?Holiday) means that ?CognitiveAgent regards ?Holiday as an institutionally special (sacred, commemorative, celebratory) TimeInterval and participates, at least to some degree, in the rituals, ceremonies, or other activies associated with ?Holiday.") | Media.kif 240-245 | |
| (domain observesHoliday 1 CognitiveAgent) | Media.kif 238-238 | Le nombre 1 argument de observesHoliday est une instance de agent cognitif |
| (domain observesHoliday 2 Holiday) | Media.kif 239-239 | Le nombre 2 argument de observesHoliday est une instance de Holiday |
| (instance observesHoliday AsymmetricRelation) | Media.kif 237-237 | observesHoliday est une instance de relation asym�trique |
| (instance observesHoliday BinaryPredicate) | Media.kif 236-236 | observesHoliday est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage observesHoliday "%1 observes %2 ") | domainEnglishFormat.kif 4010-4010 | |
| (format ChineseTraditionalLanguage observesHoliday "%1 observes %2 ") | domainEnglishFormat.kif 4009-4009 | |
| (format EnglishLanguage observesHoliday "%1 observes %2") | domainEnglishFormat.kif 4008-4008 | |
| (termFormat EnglishLanguage observesHoliday "observes holiday") | domainEnglishFormat.kif 65888-65888 |
| antecedent |
|
|
| (=> (and (instance ?T1 JewishHoliday) (observesHoliday ?A ?T1)) (holdsDuring ?T1 (attribute ?A ReligiousJew))) |
Media.kif 281-286 |
|
| (=> (and (observesHoliday ?A ?T1) (equal ?T2 (WhenFn ?A))) (during ?T1 ?T2)) |
Media.kif 258-262 |
|
| consequent |
|
|
| (=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H ChristmasDay)) (observesHoliday ?A ?H)) |
Media.kif 406-411 |
|
| (=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H EasterSunday)) (observesHoliday ?A ?H)) |
Media.kif 509-514 |
|
| (=> (and (instance ?T1 ChristianHoliday) (holdsDuring ?T1 (attribute ?A Christian))) (observesHoliday ?A ?T1)) |
Media.kif 269-274 |
|
| (=> (instance ?T1 Holiday) (exists (?A) (observesHoliday ?A ?T1))) |
Media.kif 249-252 |
|
|
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