Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ReligiousOrganization

 Sigma KEE - ReligiousOrganization
ReligiousOrganization(religious organization)Abecedarian, Albigenses, American_Baptist_Convention, Amish_sect, Anabaptist_denomination, Anglo-catholic, Arminian_Baptist, Arminian_Church, Assemblies_of_God, Augustinian, Augustinian_Canons, Augustinian_Hermits, Augustinian_order, Austin_Friar, Austin_Friars, Baptist_denomination, Benedictine, Benedictine_order, Black_Friar, Blackfriar, Brahmanism, Brahminism, Buddhism, Buddhist, Buddhistic, Byzantine, Byzantine_Church, Calvinistic_Baptist, Carmelite, Carmelite_order, Carthusian_order, Cathari, Cathars, Catholic_Church, Chasidim, Chassidim, Christian_Church, Christian_Science, Church_of_Christ_Scientist, Church_of_Jesus_Christ_of_Latter-Day_Saints, Church_of_Scientology, Church_of_the_Brethren, Confucian, Congregation_of_the_Inquisition, Congregational_Christian_Church, Congregational_Church, Congregationalist, Conservative_Judaism, Coptic, Coptic_Church...

appearance as argument number 1
-------------------------


(subclass ReligiousOrganization Organization) Merge.kif 17090-17090 Religious organization is a subclass of organization
(subclass ReligiousOrganization BeliefGroup) Merge.kif 17091-17091 Religious organization is a subclass of belief group
(documentation ReligiousOrganization EnglishLanguage "An Organization whose members share a set of religious beliefs.") Merge.kif 17092-17093 Religious organization is a subclass of belief group

appearance as argument number 2
-------------------------


(subclass MissionOrganization ReligiousOrganization) Mid-level-ontology.kif 9220-9220 Mission organization is a subclass of religious organization
(subclass Church ReligiousOrganization) People.kif 835-835 Church is a subclass of religious organization
(subclass Abbey ReligiousOrganization) People.kif 1247-1247 Abbey is a subclass of religious organization
(instance ChurchOfEngland ReligiousOrganization) People.kif 1264-1264 Church of england is an instance of religious organization
(instance RomanCatholicChurch ReligiousOrganization) People.kif 1314-1314 Roman catholic church is an instance of religious organization
(termFormat EnglishLanguage ReligiousOrganization "religious organization") english_format.kif 1359-1359 Roman catholic church is an instance of religious organization

antecedent
-------------------------


(=>
    (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 23153-23162 If X holds the position of deacon in Y and Y is an instance of religious organization holds during Z, then there exists W such that W holds the position of cleric in Y and Y is subordinate in organization X for W holds during Z

consequent
-------------------------


(=>
    (and
        (instance ?ACT ReligiousProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT ReligiousOrganization)
        (exists (?ORG)
            (and
                (member ?AGENT ?ORG)
                (instance ?ORG ReligiousOrganization)))))		 Merge.kif 10808-10817 If X is an instance of religious process and Y is an agent of X, then Y is an instance of religious organization or there exists Z such that Y is a member of Z and Z is an instance of religious organization
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P ReligiousPosition))
    (instance ?O ReligiousOrganization))		 Mid-level-ontology.kif 23121-23125 If X holds the position of Y in Z and Y is an instance of religious position, then Z is an instance of religious organization
(=>
    (occupiesPosition ?PERSON Cleric ?ORG)
    (and
        (leader ?ORG ?PERSON)
        (instance ?ORG ReligiousOrganization)))		 Mid-level-ontology.kif 23133-23137 If X holds the position of cleric in Y, then X is a leader of Y and Y is an instance of religious organization
(=>
    (instance ?D Deacon)
    (exists (?O ?C)
        (and
            (instance ?O ReligiousOrganization)
            (instance ?C Cleric)
            (subordinateInOrganization ?O ?D ?C))))		 Mid-level-ontology.kif 23145-23151 If X is an instance of deacon, then there exist Y, Z such that Y is an instance of religious organization, Z is an instance of cleric, and Y is subordinate in organization X for Z
(=>
    (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
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT Organization))
    (instance ?AGENT ReligiousOrganization))		 Government.kif 345-350 If X is a government type of Y, X is a subattribute of theocratic government, and Y is an instance of organization, then Y is an instance of religious organization
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))		 Government.kif 352-357 If X is a government type of Y, X is a subattribute of theocratic government, and Y is an instance of geopolitical area, then the government of Y is an instance of religious organization
(=>
    (attribute ?INDIVIDUAL NonDenominationalIndividual)
    (not
        (exists (?RELIGION)
            (and
                (instance ?RELIGION ReligiousOrganization)
                (member ?INDIVIDUAL ?RELIGION)))))		 People.kif 763-769 If non denominational individual is an attribute of X, then there doesn't exist Y such that Y is an instance of religious organization and X is a member of Y


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners