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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousOrganization
ReligiousOrganization(organisation religieuse)

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 16913-16914
(subclass ReligiousOrganization BeliefGroup) Merge.kif 16912-16912 Organisation religieuse est une sous-classe de BeliefGroup
(subclass ReligiousOrganization Organization) Merge.kif 16911-16911 Organisation religieuse est une sous-classe de organisation

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


(instance ChurchOfEngland ReligiousOrganization) People.kif 1230-1230 ChurchOfEngland est une instance de organisation religieuse
(instance RomanCatholicChurch ReligiousOrganization) People.kif 1280-1280 RomanCatholicChurch est une instance de organisation religieuse
(subclass Abbey ReligiousOrganization) People.kif 1213-1213 Abbey est une sous-classe de organisation religieuse
(subclass Church ReligiousOrganization) People.kif 801-801 Church est une sous-classe de organisation religieuse
(subclass MissionOrganization ReligiousOrganization) Mid-level-ontology.kif 9066-9066 MissionOrganization est une sous-classe de organisation religieuse
(termFormat ChineseLanguage ReligiousOrganization "宗教机构") chinese_format.kif 1072-1072 MissionOrganization est une sous-classe de organisation religieuse
(termFormat EnglishLanguage ReligiousOrganization "religious organization") english_format.kif 1355-1355 MissionOrganization est une sous-classe de organisation religieuse
(termFormat FrenchLanguage ReligiousOrganization "organisation religieuse") french_format.kif 750-750 MissionOrganization est une sous-classe de organisation religieuse
(termFormat Hindi ReligiousOrganization "dhaarmika sansthaa") terms-hindi.txt 282-282 MissionOrganization est une sous-classe de organisation religieuse
(termFormat ItalianLanguage ReligiousOrganization "OrganizzazioneReligiosa") terms-it.txt 285-285 MissionOrganization est une sous-classe de organisation religieuse
(termFormat JapaneseLanguage ReligiousOrganization "宗教団体") japanese_format.kif 2434-2434 MissionOrganization est une sous-classe de organisation religieuse
(termFormat PortugueseLanguage ReligiousOrganization "Organizacao Religiosa") portuguese_format.kif 702-702 MissionOrganization est une sous-classe de organisation religieuse
(termFormat cz ReligiousOrganization "religious organization") terms-cz.txt 321-321 MissionOrganization est une sous-classe de organisation religieuse
(termFormat de ReligiousOrganization "religioese Organisation") terms-de.txt 580-580 MissionOrganization est une sous-classe de organisation religieuse
(termFormat ro ReligiousOrganization "organizaþie religioasã") relations-ro.kif 771-771 MissionOrganization est une sous-classe de organisation religieuse
(termFormat tg ReligiousOrganization "kapisanan ng mga mananampalataya") terms-tg.txt 286-286 MissionOrganization est une sous-classe de organisation religieuse

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

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 10700-10709
(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P ReligiousPosition))
    (instance ?O ReligiousOrganization))
Mid-level-ontology.kif 22496-22500
(=>
    (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 22520-22526
(=>
    (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 136-147
(=>
    (occupiesPosition ?PERSON Cleric ?ORG)
    (and
        (leader ?ORG ?PERSON)
        (instance ?ORG ReligiousOrganization)))
Mid-level-ontology.kif 22508-22512


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