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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousOrganization
ReligiousOrganizationدِيَانَة, دِين, ...

appearance as argument number 1
-------------------------


(documentation ReligiousOrganization ChineseLanguage "这是一个组员拥有共同宗教信念的 Organization。") Merge.kif 16963-16964
(documentation ReligiousOrganization EnglishLanguage "An Organization whose members share a set of religious beliefs.") Merge.kif 16961-16962
(subclass ReligiousOrganization BeliefGroup) Merge.kif 16960-16960
(subclass ReligiousOrganization Organization) Merge.kif 16959-16959

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 7599-7599
(termFormat ChineseLanguage ReligiousOrganization "宗教机构") chinese_format.kif 1072-1072
(termFormat EnglishLanguage ReligiousOrganization "religious organization") english_format.kif 759-759
(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 283-283
(termFormat PortugueseLanguage ReligiousOrganization "Organizacao Religiosa") portuguese_format.kif 702-702
(termFormat cz ReligiousOrganization "religious organization") terms-cz.txt 321-321
(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 18522-18531

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 10548-10557
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P ReligiousPosition))
    (instance ?O ReligiousOrganization))
Mid-level-ontology.kif 18485-18489
(=>
    (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