Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10803-10803 Religious process is a subclass of organizational process
(documentation ReligiousProcess EnglishLanguage "An OrganizationalProcess that is carried out within or by a ReligiousOrganization.") Merge.kif 10805-10806 Religious process is a subclass of organizational process

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


(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 9306-9306 Religious service is a subclass of religious process
(subclass Baptizing ReligiousProcess) Mid-level-ontology.kif 9313-9313 Baptizing is a subclass of religious process
(subclass Praying ReligiousProcess) Mid-level-ontology.kif 9324-9324 Praying is a subclass of religious process
(subclass ReligiousFuneral ReligiousProcess) Mid-level-ontology.kif 17633-17633 Religious funeral is a subclass of religious process
(subclass Hajj ReligiousProcess) ArabicCulture.kif 120-120 Hajj is a subclass of religious process
(subclass IhramPeriod ReligiousProcess) ArabicCulture.kif 169-169 Ihram period is a subclass of religious process
(subclass Umrah ReligiousProcess) ArabicCulture.kif 184-184 Umrah is a subclass of religious process
(subclass Zakat ReligiousProcess) ArabicCulture.kif 195-195 Zakat is a subclass of religious process
(subclass UdhiyahRitual ReligiousProcess) ArabicCulture.kif 242-242 Udhiyah ritual is a subclass of religious process
(subclass EidAladha ReligiousProcess) ArabicCulture.kif 272-272 Eid aladha is a subclass of religious process
(subclass Aqiqah ReligiousProcess) ArabicCulture.kif 324-324 Aqiqah is a subclass of religious process
(subclass Khitan ReligiousProcess) ArabicCulture.kif 344-344 Khitan is a subclass of religious process
(subclass ReligiousWedding ReligiousProcess) Biography.kif 55-55 Religious wedding is a subclass of religious process
(subclass BarMitzvah ReligiousProcess) Biography.kif 67-67 Bar mitzvah is a subclass of religious process
(subclass BatMitzvah ReligiousProcess) Biography.kif 98-98 Bat mitzvah is a subclass of religious process
(subclass Ordaining ReligiousProcess) Biography.kif 130-130 Ordaining is a subclass of religious process
(subclass IslamicMilitancy ReligiousProcess) TransnationalIssues.kif 51-51 Islamic militancy is a subclass of religious process
(termFormat EnglishLanguage ReligiousProcess "religious process") english_format.kif 1407-1407 Islamic militancy is a subclass of religious process

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


(=>
    (and
        (instance ?ACT ReligiousProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT ReligiousOrganization)
        (exists (?ORG)
            (and
                (member ?AGENT ?ORG)
                (instance ?ORG ReligiousOrganization)))))		 Merge.kif 10808-10817 If X is an instance of religious process and Y is an agent of X, then Y is an instance of religious organization or there exists Z such that Y is a member of Z and Z is an instance of religious organization

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


(=>
    (instance ?X Theology)
    (exists (?Y)
        (and
            (instance ?Y ReligiousProcess)
            (refers ?X ?Y))))		 Mid-level-ontology.kif 23522-23527 If X is an instance of theology, then there exists Y such that Y is an instance of religious process and X includes a reference to Y
(=>
    (instance ?X PlaceOfWorship)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV ReligiousProcess)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 24799-24805 If X is an instance of place of worship, then X has the purpose there exists Y such that Y is an instance of religious process and Y is located at X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners