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...

VerbNet: fill-9.8|anoint, dub-29.3|consecrate, convert-26.6.2|convert, remove-10.1|excommunicate, destroy-44|desecrate, destroy-44|desecrate, fill-9.8|anoint, amuse-31.1|enlighten, remove-10.1|excommunicate, wipe_manner-10.4.1|exorcise, wipe_manner-10.4.1|exorcise, dub-29.3|consecrate, murder-42.1|immolate, fill-9.8|anoint, amuse-31.1|enlighten, future_having-13.3|offer, future_having-13.3|offer, fill-9.8|anoint, lecture-37.11|preach, lecture-37.11|preach, cheat-10.6|purify, cheat-10.6|purify, dub-29.3|consecrate, remove-10.1|excommunicate, destroy-44|desecrate, dub-29.3|consecrate,


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 9907-9908
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 9905-9905 Religious process is a subclass of organizational process

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


(subclass Aqiqah ReligiousProcess) ArabicCulture.kif 311-311 Aqiqah is a subclass of religious process
(subclass Baptizing ReligiousProcess) Mid-level-ontology.kif 7690-7690 Baptizing is a subclass of religious process
(subclass EidAladha ReligiousProcess) ArabicCulture.kif 259-259 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 331-331 Khitan is a subclass of religious process
(subclass Praying ReligiousProcess) Mid-level-ontology.kif 7700-7700 Praying is a subclass of religious process
(subclass ReligiousFuneral ReligiousProcess) Mid-level-ontology.kif 13680-13680 ReligiousFuneral is a subclass of religious process
(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 7671-7671 Religious service is a subclass of religious process
(subclass UdhiyahRitual ReligiousProcess) ArabicCulture.kif 229-229 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 9910-9919

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


(=>
    (instance ?X PlaceOfWorship)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV ReligiousProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 20396-20402
(=>
    (instance ?X Theology)
    (exists (?Y)
        (and
            (instance ?Y ReligiousProcess)
            (refers ?X ?Y))))
Mid-level-ontology.kif 18979-18984


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners