Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Ordaining(ordaining) |
| appearance as argument number 1 |
|
| (subclass Ordaining ReligiousProcess) | Biography.kif 130-130 | Ordaining is a subclass of religious process |
| (documentation Ordaining EnglishLanguage "the act of Ordaining is the Process by which individuals are set apart and elevated from laity class and be authorized to perform ReligiousServices, eg. in Christianity, Cleric. Not all BeliefGroup holds Ordaination as a Ceremony but most do.") | Biography.kif 132-134 | Ordaining is a subclass of religious process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Ordaining "ordaining") | Biography.kif 131-131 |
| antecedent |
|
|
| (=> (instance ?ORD Ordaining) (hasPurpose ?ORD (exists (?X ?ORG ?POS) (and (patient ?ORD ?X) (instance ?X Human) (instance ?ORG ReligiousOrganization) (member ?X ?ORG) (result ?ORD ?POS) (instance ?POS ReligiousPosition) (occupiesPosition ?X ?POS ?ORG))))) |
Biography.kif 136-147 | If X is an instance of ordaining, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is a patient of X (3) Y is an instance of human (4) Z is an instance of religious organization (5) Y is a member of Z (6) W is a result of X (7) W is an instance of religious position (8) Y holds the position of W in Z |
| (=> (and (instance ?ORD Ordaining) (patient ?ORD ?X) (instance ?X Human) (member ?X Christianity)) (hasPurpose ?ORD (exists (?CER ?A) (and (instance ?CER Ceremony) (instance ?A Appointing) (subProcess ?A ?CER) (patient ?A ?X) (appointedPosition ?A ?X Cleric))))) |
Biography.kif 161-174 | If X is an instance of ordaining, Y is a patient of X, Y is an instance of human, and Y is a member of christianity, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of ceremony (3) W is an instance of appointing (4) W is a subprocess of Z (5) Y is a patient of W (6) appointed position W, Y (7) cleric |
|