Ordaining - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Ordaining

Ordaining(ordaining)

appearance as argument number 1

(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
(subclass Ordaining ReligiousProcess)	Biography.kif 130-130	Ordaining is a subclass of religious process

appearance as argument number 2

(termFormat EnglishLanguage Ordaining "ordaining")

Biography.kif 131-131

antecedent

(=> (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 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 appointed position the other entity, the physical and cleric
(=> (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 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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners