Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Christian
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Christian ReligiousAttribute) | People.kif 825-825 | Christian is a subclass of religious attribute |
| (documentation Christian EnglishLanguage "A Christian is one who subscribes to the beliefs of Christianity.") | People.kif 826-827 | Christian is a subclass of religious attribute |
| (externalImage Christian "http://articulatesoftware.com/SUMOpictures/flags/ miscellany/ christian.png") | pictureList.kif 341-341 | Christian is a subclass of religious attribute |
| 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 |
| (=> (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 |
| (=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity)) |
People.kif 829-833 | If X is an attribute of Y and X is an instance of christian, then Y is a member of christianity |
| consequent |
|
|
| (=> (musicGenre ?MR ChristianMusic) (exists (?X) (and (attribute ?X Christian) (refers ?MR ?X)))) |
Music.kif 649-654 | If christian music is in the genre X, then there exists Y such that christian is an attribute of Y and X includes a reference to Y |
|
