Cleric - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Cleric EnglishLanguage "The profession of being in charge of or ministering to a ReligousOrganization.")	Mid-level-ontology.kif 20914-20916
(externalImage Cleric "http://upload.wikimedia.org/wikipedia/commons/9/93/ Belgische_Bisschoppen.jpg")	pictureList.kif 4607-4607
(instance Cleric Profession)	Mid-level-ontology.kif 20912-20912	Cleric is an instance of profession
(instance Cleric ReligiousPosition)	Mid-level-ontology.kif 20913-20913	Cleric is an instance of religious position

appearance as argument number 2

(termFormat ChineseLanguage Cleric "牧师")	domainEnglishFormat.kif 15102-15102
(termFormat ChineseTraditionalLanguage Cleric "牧師")	domainEnglishFormat.kif 15101-15101
(termFormat EnglishLanguage Cleric "cleric")	domainEnglishFormat.kif 15100-15100

antecedent

(=>
    (occupiesPosition ?PERSON Cleric ?ORG)
    (and
        (leader ?ORG ?PERSON)
        (instance ?ORG ReligiousOrganization)))

Mid-level-ontology.kif 20918-20922

If a human holds the position of cleric in an organization,
then the human is a leader of the organization and the organization is an instance of religious organization

consequent

(=> (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 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
(=> (holdsDuring ?TIME (and (occupiesPosition ?PERSON Deacon ?ORG) (instance ?ORG ReligiousOrganization))) (exists (?C) (holdsDuring ?TIME (and (occupiesPosition ?C Cleric ?ORG) (subordinateInOrganization ?ORG ?PERSON ?C)))))	Mid-level-ontology.kif 20938-20947	If an entity holds the position of deacon in another entity and the other entity is an instance of religious organization holds during a time position, then there exists a third entity such that the third entity holds the position of cleric in the other entity and the other entity is subordinate in organization the entity for the third entity holds during the time position
(=> (instance ?D Deacon) (exists (?O ?C) (and (instance ?O ReligiousOrganization) (instance ?C Cleric) (subordinateInOrganization ?O ?D ?C))))	Mid-level-ontology.kif 20930-20936	If a human is an instance of deacon, then there exist an organization and another human such that the organization is an instance of religious organization and the other human is an instance of cleric and the organization is subordinate in organization the human for the other human

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

KB Term:			Term intersection

English Word: