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 16834-16835
(subclass ReligiousOrganization BeliefGroup)	Merge.kif 16833-16833	Religious organization is a subclass of belief group
(subclass ReligiousOrganization Organization)	Merge.kif 16832-16832	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 8672-8672	Mission organization is a subclass of religious organization
(termFormat ChineseLanguage ReligiousOrganization "宗教机构")	chinese_format.kif 1072-1072	Mission organization is a subclass of religious organization
(termFormat EnglishLanguage ReligiousOrganization "religious organization")	english_format.kif 1355-1355	Mission organization is a subclass of religious organization
(termFormat FrenchLanguage ReligiousOrganization "organisation religieuse")	french_format.kif 750-750	Mission organization is a subclass of religious organization
(termFormat Hindi ReligiousOrganization "dhaarmika sansthaa")	terms-hindi.txt 282-282	Mission organization is a subclass of religious organization
(termFormat ItalianLanguage ReligiousOrganization "OrganizzazioneReligiosa")	terms-it.txt 285-285	Mission organization is a subclass of religious organization
(termFormat JapaneseLanguage ReligiousOrganization "宗教団体")	japanese_format.kif 2434-2434	Mission organization is a subclass of religious organization
(termFormat PortugueseLanguage ReligiousOrganization "Organizacao Religiosa")	portuguese_format.kif 702-702	Mission organization is a subclass of religious organization
(termFormat cz ReligiousOrganization "religious organization")	terms-cz.txt 321-321	Mission organization is a subclass of religious organization
(termFormat de ReligiousOrganization "religioese Organisation")	terms-de.txt 580-580	Mission organization is a subclass of religious organization
(termFormat ro ReligiousOrganization "organizaþie religioasã")	relations-ro.kif 771-771	Mission organization is a subclass of religious organization
(termFormat tg ReligiousOrganization "kapisanan ng mga mananampalataya")	terms-tg.txt 286-286	Mission organization is a subclass 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 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

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 10625-10634	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 21968-21972	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 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
(=> (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 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

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: