Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReligiousOrganization

Sigma KEE - ReligiousOrganization
ReligiousOrganization

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 16456-16457
(subclass ReligiousOrganization BeliefGroup) Merge.kif 16455-16455
(subclass ReligiousOrganization Organization) Merge.kif 16454-16454

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


(instance ChurchOfEngland ReligiousOrganization) People.kif 1239-1239
(instance RomanCatholicChurch ReligiousOrganization) People.kif 1289-1289
(subclass Abbey ReligiousOrganization) People.kif 1222-1222
(subclass Church ReligiousOrganization) People.kif 811-811
(subclass MissionOrganization ReligiousOrganization) Mid-level-ontology.kif 7568-7568
(termFormat ChineseLanguage ReligiousOrganization "宗教机构") chinese_format.kif 1072-1072
(termFormat EnglishLanguage ReligiousOrganization "religious organization") english_format.kif 1355-1355

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 20228-20237

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 10467-10476
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P ReligiousPosition))
    (instance ?O ReligiousOrganization))
Mid-level-ontology.kif 20196-20200
(=>
    (attribute ?INDIVIDUAL NonDenominationalIndividual)
    (not
        (exists (?RELIGION)
            (and
                (instance ?RELIGION ReligiousOrganization)
                (member ?INDIVIDUAL ?RELIGION)))))
People.kif 739-745
(=>
    (instance ?D Deacon)
    (exists (?O ?C)
        (and
            (instance ?O ReligiousOrganization)
            (instance ?C Cleric)
            (subordinateInOrganization ?O ?D ?C))))
Mid-level-ontology.kif 20220-20226
(=>
    (occupiesPosition ?PERSON Cleric ?ORG)
    (and
        (leader ?ORG ?PERSON)
        (instance ?ORG ReligiousOrganization)))
Mid-level-ontology.kif 20208-20212


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 is open source software produced by Articulate Software and its partners