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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReligiousProcess

Sigma KEE - ReligiousProcess
ReligiousProcess

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


(documentation ReligiousProcess ChineseLanguage "这是一个在 ReligiousOrganization 内或由它 举行的 OrganizationalProcess。") chinese_format.kif 2945-2946
(documentation ReligiousProcess EnglishLanguage "An OrganizationalProcess that is carried out within or by a ReligiousOrganization.") Merge.kif 10470-10471
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10468-10468

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


(subclass Aqiqah ReligiousProcess) ArabicCulture.kif 313-313
(subclass Baptizing ReligiousProcess) Mid-level-ontology.kif 7665-7665
(subclass EidAladha ReligiousProcess) ArabicCulture.kif 261-261
(subclass Hajj ReligiousProcess) ArabicCulture.kif 111-111
(subclass IhramPeriod ReligiousProcess) ArabicCulture.kif 160-160
(subclass IslamicMilitancy ReligiousProcess) TransnationalIssues.kif 51-51
(subclass Khitan ReligiousProcess) ArabicCulture.kif 333-333
(subclass Praying ReligiousProcess) Mid-level-ontology.kif 7676-7676
(subclass ReligiousFuneral ReligiousProcess) Mid-level-ontology.kif 15474-15474
(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 7658-7658
(subclass UdhiyahRitual ReligiousProcess) ArabicCulture.kif 231-231
(subclass Umrah ReligiousProcess) ArabicCulture.kif 175-175
(subclass Zakat ReligiousProcess) ArabicCulture.kif 186-186
(termFormat ChineseLanguage ReligiousProcess "宗教过程") chinese_format.kif 1096-1096
(termFormat EnglishLanguage ReligiousProcess "religious process") english_format.kif 1403-1403

antecedent
-------------------------


(=>
    (and
        (instance ?ACT ReligiousProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT ReligiousOrganization)
        (exists (?ORG)
            (and
                (member ?AGENT ?ORG)
                (instance ?ORG ReligiousOrganization)))))
Merge.kif 10473-10482

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


(=>
    (instance ?X PlaceOfWorship)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV ReligiousProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 21968-21974
(=>
    (instance ?X Theology)
    (exists (?Y)
        (and
            (instance ?Y ReligiousProcess)
            (refers ?X ?Y))))
Mid-level-ontology.kif 20640-20645


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