ReligiousOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ReligiousOrganization ChineseLanguage "这是一个组员拥有共同宗教信念的 Organization。")	chinese_format.kif 3749-3750
(documentation ReligiousOrganization EnglishLanguage "An Organization whose members share a set of religious beliefs.")	Merge.kif 16760-16761
(subclass ReligiousOrganization BeliefGroup)	Merge.kif 16759-16759	Religious organization is a subclass of belief group
(subclass ReligiousOrganization Organization)	Merge.kif 16758-16758	Religious organization is a subclass of organization

appearance as argument number 2

(instance ChurchOfEngland ReligiousOrganization)	People.kif 1229-1229	Church of england is an instance of religious organization
(instance RomanCatholicChurch ReligiousOrganization)	People.kif 1279-1279	Roman catholic church is an instance of religious organization
(subclass Abbey ReligiousOrganization)	People.kif 1212-1212	Abbey is a subclass of religious organization
(subclass Church ReligiousOrganization)	People.kif 801-801	Church is a subclass of religious organization
(subclass MissionOrganization ReligiousOrganization)	Mid-level-ontology.kif 7898-7898	Mission organization is a subclass of religious organization
(termFormat ChineseLanguage ReligiousOrganization "宗教机构")	chinese_format.kif 1072-1072
(termFormat EnglishLanguage ReligiousOrganization "religious organization")	english_format.kif 1355-1355
(termFormat FrenchLanguage ReligiousOrganization "organisation religieuse")	french_format.kif 750-750
(termFormat Hindi ReligiousOrganization "dhaarmika sansthaa")	terms-hindi.txt 282-282
(termFormat ItalianLanguage ReligiousOrganization "OrganizzazioneReligiosa")	terms-it.txt 285-285
(termFormat JapaneseLanguage ReligiousOrganization "宗教団体")	japanese_format.kif 2434-2434
(termFormat PortugueseLanguage ReligiousOrganization "Organizacao Religiosa")	portuguese_format.kif 702-702
(termFormat cz ReligiousOrganization "religious organization")	terms-cz.txt 321-321
(termFormat ro ReligiousOrganization "organizaþie religioasã")	relations-ro.kif 771-771
(termFormat tg ReligiousOrganization "kapisanan ng mga mananampalataya")	terms-tg.txt 286-286

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 20910-20919

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

consequent

(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization))	Government.kif 352-357	If a form of government is a government type of a geopolitical area and the form of government is a subattribute of theocratic government and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an instance of religious organization
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization))	Government.kif 345-350	If a form of government is a government type of an agent and the form of government is a subattribute of theocratic government and the agent is an instance of organization, then the agent is an instance of religious organization
(=> (and (instance ?ACT ReligiousProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT ReligiousOrganization) (exists (?ORG) (and (member ?AGENT ?ORG) (instance ?ORG ReligiousOrganization)))))	Merge.kif 10584-10593	If a process is an instance of religious process and an agent is an agent of the process, then the agent is an instance of religious organization or there exists a collection such that the agent is a member of the collection and the collection is an instance of religious organization
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization))	Mid-level-ontology.kif 20878-20882	If a human holds the position of a position in an organization and the position is an instance of religious position, then the organization is an instance of religious organization
(=> (attribute ?INDIVIDUAL NonDenominationalIndividual) (not (exists (?RELIGION) (and (instance ?RELIGION ReligiousOrganization) (member ?INDIVIDUAL ?RELIGION)))))	People.kif 729-735	If non denominational individual is an attribute of an object, then there doesn't exist a collection such that the collection is an instance of religious organization and the object is a member of the collection
(=> (instance ?D Deacon) (exists (?O ?C) (and (instance ?O ReligiousOrganization) (instance ?C Cleric) (subordinateInOrganization ?O ?D ?C))))	Mid-level-ontology.kif 20902-20908	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
(=> (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 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
(=> (occupiesPosition ?PERSON Cleric ?ORG) (and (leader ?ORG ?PERSON) (instance ?ORG ReligiousOrganization)))	Mid-level-ontology.kif 20890-20894	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

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: