Ordaining - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Biography.kif 128-130
No TPTP formula. May not be expressible in strict first order.	Biography.kif 127-127	Ordaining is a subclass of religious process

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 156-169	If a process is an instance of Ordaining and a physical is a patient of the process and the physical is an instance of human and the physical is a member of christianity, then the process has the purpose there exist an entity and another entity such that the entity is an instance of ceremony and the other entity is an instance of appointing and the other entity is a subprocess of the entity and the physical is a patient of the other entity and appointedPosition the other entity, the physical and cleric
No TPTP formula. May not be expressible in strict first order.	Biography.kif 132-143	If a physical is an instance of Ordaining, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is a patient of the physical and the entity is an instance of human and the other entity is an instance of religious organization and the entity is a member of the other entity and the third entity is a result of the physical and the third entity is an instance of religious position and the entity holds the position of the third entity in the other entity