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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 10117-10118
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10115-10115 宗教过程机构性过程subclass

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


(subclass Aqiqah ReligiousProcess) ArabicCulture.kif 313-313 Aqiqah宗教过程subclass
(subclass Baptizing ReligiousProcess) Mid-level-ontology.kif 7349-7349 施洗宗教过程subclass
(subclass EidAladha ReligiousProcess) ArabicCulture.kif 261-261 宰牲节宗教过程subclass
(subclass Hajj ReligiousProcess) ArabicCulture.kif 111-111 朝觐宗教过程subclass
(subclass IhramPeriod ReligiousProcess) ArabicCulture.kif 160-160 伊赫拉姆时期宗教过程subclass
(subclass IslamicMilitancy ReligiousProcess) TransnationalIssues.kif 51-51 伊斯兰激进分子宗教过程subclass
(subclass Khitan ReligiousProcess) ArabicCulture.kif 333-333 契丹宗教过程subclass
(subclass Praying ReligiousProcess) Mid-level-ontology.kif 7360-7360 祈祷宗教过程subclass
(subclass ReligiousFuneral ReligiousProcess) Mid-level-ontology.kif 14330-14330 ReligiousFuneral宗教过程subclass
(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 7342-7342 宗教服务宗教过程subclass
(subclass UdhiyahRitual ReligiousProcess) ArabicCulture.kif 231-231 Udhiyah仪式宗教过程subclass
(subclass Umrah ReligiousProcess) ArabicCulture.kif 175-175 Umrah宗教过程subclass
(subclass Zakat ReligiousProcess) ArabicCulture.kif 186-186 天课宗教过程subclass
(termFormat ChineseLanguage ReligiousProcess "宗教过程") chinese_format.kif 1096-1096
(termFormat EnglishLanguage ReligiousProcess "religious process") english_format.kif 1408-1408

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


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

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


(=>
    (instance ?X PlaceOfWorship)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV ReligiousProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 20716-20722
(=>
    (instance ?X Theology)
    (exists (?Y)
        (and
            (instance ?Y ReligiousProcess)
            (refers ?X ?Y))))
Mid-level-ontology.kif 19389-19394


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