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

Formal Language: 



KB Term:  Term intersection
English Word: 

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


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

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


(instance ChurchOfEngland ReligiousOrganization) People.kif 1231-1231 Church of england is an instance of religious organization
(instance RomanCatholicChurch ReligiousOrganization) People.kif 1281-1281 Roman catholic church is an instance of religious organization
(subclass Abbey ReligiousOrganization) People.kif 1214-1214 Abbey is a subclass of religious organization
(subclass Church ReligiousOrganization) People.kif 803-803 Church is a subclass of religious organization
(subclass MissionOrganization ReligiousOrganization) Mid-level-ontology.kif 7601-7601 Mission organization is a subclass of religious organization
(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 18582-18591

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 9910-9919
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P ReligiousPosition))
    (instance ?O ReligiousOrganization))
Mid-level-ontology.kif 18545-18549
(=>
    (attribute ?INDIVIDUAL NonDenominationalIndividual)
    (not
        (exists (?RELIGION)
            (and
                (instance ?RELIGION ReligiousOrganization)
                (member ?INDIVIDUAL ?RELIGION)))))
People.kif 731-737


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners