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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousOrganization
ReligiousOrganization(OrganizzazioneReligiosa)

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 16809-16810
(subclass ReligiousOrganization BeliefGroup) Merge.kif 16808-16808 OrganizzazioneReligiosa è una sottoclasse di BeliefGroup
(subclass ReligiousOrganization Organization) Merge.kif 16807-16807 OrganizzazioneReligiosa è una sottoclasse di Organizzazione

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


(instance ChurchOfEngland ReligiousOrganization) People.kif 1229-1229 ChurchOfEngland è un' istanza di OrganizzazioneReligiosa
(instance RomanCatholicChurch ReligiousOrganization) People.kif 1279-1279 RomanCatholicChurch è un' istanza di OrganizzazioneReligiosa
(subclass Abbey ReligiousOrganization) People.kif 1212-1212 Abbey è una sottoclasse di OrganizzazioneReligiosa
(subclass Church ReligiousOrganization) People.kif 801-801 Church è una sottoclasse di OrganizzazioneReligiosa
(subclass MissionOrganization ReligiousOrganization) Mid-level-ontology.kif 7926-7926 MissionOrganization è una sottoclasse di OrganizzazioneReligiosa
(termFormat ChineseLanguage ReligiousOrganization "宗教机构") chinese_format.kif 1072-1072
(termFormat EnglishLanguage ReligiousOrganization "religious organization") english_format.kif 1355-1355
(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 285-285
(termFormat JapaneseLanguage ReligiousOrganization "宗教団体") japanese_format.kif 2434-2434
(termFormat PortugueseLanguage ReligiousOrganization "Organizacao Religiosa") portuguese_format.kif 702-702
(termFormat cz ReligiousOrganization "religious organization") terms-cz.txt 321-321
(termFormat ro ReligiousOrganization "organizaþie religioasã") relations-ro.kif 771-771
(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 20938-20947

consequent
-------------------------


(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))
Government.kif 352-357
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT Organization))
    (instance ?AGENT ReligiousOrganization))
Government.kif 345-350
(=>
    (and
        (instance ?ACT ReligiousProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT ReligiousOrganization)
        (exists (?ORG)
            (and
                (member ?AGENT ?ORG)
                (instance ?ORG ReligiousOrganization)))))
Merge.kif 10596-10605
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P ReligiousPosition))
    (instance ?O ReligiousOrganization))
Mid-level-ontology.kif 20906-20910
(=>
    (attribute ?INDIVIDUAL NonDenominationalIndividual)
    (not
        (exists (?RELIGION)
            (and
                (instance ?RELIGION ReligiousOrganization)
                (member ?INDIVIDUAL ?RELIGION)))))
People.kif 729-735
(=>
    (instance ?D Deacon)
    (exists (?O ?C)
        (and
            (instance ?O ReligiousOrganization)
            (instance ?C Cleric)
            (subordinateInOrganization ?O ?D ?C))))
Mid-level-ontology.kif 20930-20936
(=>
    (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
(=>
    (occupiesPosition ?PERSON Cleric ?ORG)
    (and
        (leader ?ORG ?PERSON)
        (instance ?ORG ReligiousOrganization)))
Mid-level-ontology.kif 20918-20922


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