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 15608-15609
(subclass ReligiousOrganization BeliefGroup)	Merge.kif 15607-15607
(subclass ReligiousOrganization Organization)	Merge.kif 15606-15606

appearance as argument number 2

(instance ChurchOfEngland ReligiousOrganization)	People.kif 1231-1231
(instance RomanCatholicChurch ReligiousOrganization)	People.kif 1281-1281
(subclass Abbey ReligiousOrganization)	People.kif 1214-1214
(subclass Church ReligiousOrganization)	People.kif 803-803
(subclass MissionOrganization ReligiousOrganization)	Mid-level-ontology.kif 6908-6908
(termFormat ChineseLanguage ReligiousOrganization "宗教机构")	chinese_format.kif 1072-1072
(termFormat EnglishLanguage ReligiousOrganization "religious organization")	english_format.kif 1360-1360

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 17316-17325

consequent

(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization))	Government.kif 340-345
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization))	Government.kif 333-338
(=> (and (instance ?ACT ReligiousProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT ReligiousOrganization) (exists (?ORG) (and (member ?AGENT ?ORG) (instance ?ORG ReligiousOrganization)))))	Merge.kif 9978-9987
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization))	Mid-level-ontology.kif 17284-17288
(=> (attribute ?INDIVIDUAL NonDenominationalIndividual) (not (exists (?RELIGION) (and (instance ?RELIGION ReligiousOrganization) (member ?INDIVIDUAL ?RELIGION)))))	People.kif 731-737
(=> (instance ?D Deacon) (exists (?O ?C) (and (instance ?O ReligiousOrganization) (instance ?C Cleric) (subordinateInOrganization ?O ?D ?C))))	Mid-level-ontology.kif 17308-17314
(=> (occupiesPosition ?PERSON Cleric ?ORG) (and (leader ?ORG ?PERSON) (instance ?ORG ReligiousOrganization)))	Mid-level-ontology.kif 17296-17300

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: