Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Praying(praying)
more pictures... |  | deprecation, orison, petition, pray, prayer, supplication |
| appearance as argument number 1 |
|
|
| (subclass Praying ReligiousProcess) | Mid-level-ontology.kif 9324-9324 | Praying is a subclass of religious process |
| (subclass Praying Requesting) | Mid-level-ontology.kif 9325-9325 | Praying is a subclass of requesting |
| (documentation Praying EnglishLanguage "A formal or informal process of private worship which may or may not be carried out in a ReligiousBuilding.") | Mid-level-ontology.kif 9326-9327 | Praying is a subclass of requesting |
| (externalImage Praying "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Supplicating_Pilgrim_at_Masjid_Al_Haram._Mecca%2C_Saudi_Arabia.jpg") | pictureList.kif 6787-6787 | Praying is a subclass of requesting |
| (externalImage Praying "http://upload.wikimedia.org/wikipedia/commons/4/ 44/ Incense_LE.jpg") | pictureList.kif 7637-7637 | Praying is a subclass of requesting |
| (externalImage Praying "http://upload.wikimedia.org/wikipedia/commons/9/ 9b/ Maria_Magdalene_praying.jpg") | pictureList.kif 7639-7639 | Praying is a subclass of requesting |
| (externalImage Praying "http://upload.wikimedia.org/wikipedia/commons/c/ c2/ Albrecht_D%C3%BCrer_Betende_H%C3%A4nde.jpg") | pictureList.kif 7640-7640 | Praying is a subclass of requesting |
| (externalImage Praying "http://upload.wikimedia.org/wikipedia/en/f/fa/Panagia.jpg") | pictureList.kif 7641-7641 | Praying is a subclass of requesting |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?MAT PrayerMat) (hasPurpose ?MAT (exists (?PRAY ?PERSON) (and (instance ?PRAY Praying) (agent ?PRAY ?PERSON) (instance ?PERSON Human) (holdsDuring (WhenFn ?PRAY) (orientation ?PERSON ?MAT On)))))) |
Mid-level-ontology.kif 28431-28440 | If X is an instance of prayer mat, then X has the purpose there exist Y, Z such that Y is an instance of praying, Z is an agent of Y, Z is an instance of human, and Z is on to X holds during the time of existence of Y |
| (=> (instance ?M Misbahah) (hasPurpose ?M (exists (?P ?H) (and (instance ?P Praying) (agent ?P ?H) (attribute ?H Muslim) (patient ?P ?M))))) |
ArabicCulture.kif 545-553 | If X is an instance of misbahah, then X has the purpose there exist Y, Z such that Y is an instance of praying, Z is an agent of Y, muslim is an attribute of Z, and X is a patient of Y |
|