Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| observesHoliday |
| appearance as argument number 1 |
|
| (instance observesHoliday BinaryPredicate) | Media.kif 230-230 | observes holiday is an instance of binary predicate |
| (instance observesHoliday AsymmetricRelation) | Media.kif 231-231 | observes holiday is an instance of asymmetric relation |
| (domain observesHoliday 1 CognitiveAgent) | Media.kif 232-232 | The number 1 argument of observes holiday is an instance of cognitive agent |
| (domain observesHoliday 2 Holiday) | Media.kif 233-233 | The number 2 argument of observes holiday is an instance of holiday |
| (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 234-239 | The number 2 argument of observes holiday is an instance of holiday |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage observesHoliday "%1 observes %2") | domainEnglishFormat.kif 4012-4012 | |
| (format ChineseTraditionalLanguage observesHoliday "%1 observes %2 ") | domainEnglishFormat.kif 4013-4013 | |
| (format ChineseLanguage observesHoliday "%1 observes %2 ") | domainEnglishFormat.kif 4014-4014 | |
| (termFormat EnglishLanguage observesHoliday "observes holiday") | domainEnglishFormat.kif 65908-65908 |
| antecedent |
|
|
| (=> (and (observesHoliday ?A ?T1) (equal ?T2 (WhenFn ?A))) (during ?T1 ?T2)) |
Media.kif 252-256 | If X observes Y and equal Z and the time of existence of X, then Y takes place during Z |
| (=> (and (instance ?T1 JewishHoliday) (observesHoliday ?A ?T1)) (holdsDuring ?T1 (attribute ?A ReligiousJew))) |
Media.kif 275-280 | If X is an instance of Jewish holiday and Y observes X, then religious jew is an attribute of Y holds during X |
| consequent |
|
|
| (=> (instance ?T1 Holiday) (exists (?A) (observesHoliday ?A ?T1))) |
Media.kif 243-246 | If X is an instance of holiday, then there exists Y such that Y observes X |
| (=> (and (instance ?T1 ChristianHoliday) (holdsDuring ?T1 (attribute ?A Christian))) (observesHoliday ?A ?T1)) |
Media.kif 263-268 | If X is an instance of Christian holiday and christian is an attribute of Y holds during X, then Y observes X |
| (=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H ChristmasDay)) (observesHoliday ?A ?H)) |
Media.kif 400-405 | If christian is an attribute of X holds during Y and Y is an instance of Christmas day, then X observes Y |
| (=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H EasterSunday)) (observesHoliday ?A ?H)) |
Media.kif 503-508 | If christian is an attribute of X holds during Y and Y is an instance of Easter sunday, then X observes Y |
|