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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousProcess
ReligiousProcess(religious process)Agnus_Dei, Berit, Berith, Bible-worship, Bris, Briss, Brith, Christian_liturgy, Christianise, Christianize, Communion, Divine_Office, Eucharist, Eucharistic, Eucharistic_liturgy, Feast_of_Booths, Feast_of_Tabernacles, High_Mass, Holy_Communion, Holy_Eucharist, Holy_Sacrament, Islamise, Islamize, Last_Supper, Little_Office, Liturgy, Lord's_Supper, Low_Mass, Oblation, Offertory, Office_of_the_Dead, Passover_supper, Requiem, Sabbatarian, Seder, Stations, Stations_of_the_Cross, Succos, Succoth, Sukkoth, Tabernacles, adoration, affusion, agape, agrypnia, ancestor_worship, anele, animal-worship, anoint, anointing_of_the_sick...

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 Religious process is a subclass of organizational process

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


(subclass Aqiqah ReligiousProcess) ArabicCulture.kif 313-313 Aqiqah is a subclass of religious process
(subclass Baptizing ReligiousProcess) Mid-level-ontology.kif 7286-7286 Baptizing is a subclass of religious process
(subclass EidAladha ReligiousProcess) ArabicCulture.kif 261-261 Eid aladha is a subclass of religious process
(subclass Hajj ReligiousProcess) ArabicCulture.kif 111-111 Hajj is a subclass of religious process
(subclass IhramPeriod ReligiousProcess) ArabicCulture.kif 160-160 Ihram period is a subclass of religious process
(subclass IslamicMilitancy ReligiousProcess) TransnationalIssues.kif 51-51 Islamic militancy is a subclass of religious process
(subclass Khitan ReligiousProcess) ArabicCulture.kif 333-333 Khitan is a subclass of religious process
(subclass Praying ReligiousProcess) Mid-level-ontology.kif 7297-7297 Praying is a subclass of religious process
(subclass ReligiousFuneral ReligiousProcess) Mid-level-ontology.kif 14206-14206 ReligiousFuneral is a subclass of religious process
(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 7279-7279 Religious service is a subclass of religious process
(subclass UdhiyahRitual ReligiousProcess) ArabicCulture.kif 231-231 Udhiyah ritual is a subclass of religious process
(subclass Umrah ReligiousProcess) ArabicCulture.kif 175-175 Umrah is a subclass of religious process
(subclass Zakat ReligiousProcess) ArabicCulture.kif 186-186 Zakat is a subclass of religious process
(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 20576-20582
(=>
    (instance ?X Theology)
    (exists (?Y)
        (and
            (instance ?Y ReligiousProcess)
            (refers ?X ?Y))))
Mid-level-ontology.kif 19265-19270


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