Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ChristianHoliday(Christian holiday) |  | Christian_holy_day |
| appearance as argument number 1 |
|
|
| (subclass ChristianHoliday Holiday) | Media.kif 258-258 | Christian holiday is a subclass of holiday |
| (documentation ChristianHoliday EnglishLanguage "An instance of ChristianHoliday is a Holiday instituted and observed by members of Christianity.") | Media.kif 259-261 | Christian holiday is a subclass of holiday |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|