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 21976-21978
(externalImage Cleric "http://upload.wikimedia.org/wikipedia/commons/9/93/ Belgische_Bisschoppen.jpg")	pictureList.kif 4606-4606
(instance Cleric Profession)	Mid-level-ontology.kif 21974-21974	Cleric is an instance of profession
(instance Cleric ReligiousPosition)	Mid-level-ontology.kif 21975-21975	Cleric is an instance of religious position

appearance as argument number 2

(termFormat ChineseLanguage Cleric "牧师")	domainEnglishFormat.kif 15117-15117
(termFormat ChineseTraditionalLanguage Cleric "牧師")	domainEnglishFormat.kif 15116-15116
(termFormat EnglishLanguage Cleric "cleric")	domainEnglishFormat.kif 15115-15115

antecedent

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

Mid-level-ontology.kif 21980-21984

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 22000-22009	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 21992-21998	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: