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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReligiousProcess

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


s__documentation(s__ReligiousProcess,s__ChineseLanguage,'"这是一个在 ReligiousOrganization 内或由它 举行的 OrganizationalProcess。"')

chinese_format.kif 2945-2946
s__documentation(s__ReligiousProcess,s__EnglishLanguage,'"An OrganizationalProcess that is carried out within or by a ReligiousOrganization."')

Merge.kif 10117-10118
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__instance(s__ReligiousProcess,s__SetOrClass)

s__subclass(s__ReligiousProcess,s__OrganizationalProcess)

Merge.kif 10115-10115 Religious process is a subclass of organizational process

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


s__instance(s__Aqiqah,s__SetOrClass)

s__subclass(s__Aqiqah,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

ArabicCulture.kif 313-313 Aqiqah is a subclass of religious process
s__instance(s__Baptizing,s__SetOrClass)

s__subclass(s__Baptizing,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

Mid-level-ontology.kif 7469-7469 Baptizing is a subclass of religious process
s__instance(s__EidAladha,s__SetOrClass)

s__subclass(s__EidAladha,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

ArabicCulture.kif 261-261 Eid aladha is a subclass of religious process
s__instance(s__Hajj,s__SetOrClass)

s__subclass(s__Hajj,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

ArabicCulture.kif 111-111 Hajj is a subclass of religious process
s__subclass(s__IhramPeriod,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

s__instance(s__IhramPeriod,s__SetOrClass)

ArabicCulture.kif 160-160 Ihram period is a subclass of religious process
s__subclass(s__IslamicMilitancy,s__ReligiousProcess)

s__instance(s__IslamicMilitancy,s__SetOrClass)

s__instance(s__ReligiousProcess,s__SetOrClass)

TransnationalIssues.kif 51-51 Islamic militancy is a subclass of religious process
s__instance(s__Khitan,s__SetOrClass)

s__subclass(s__Khitan,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

ArabicCulture.kif 333-333 Khitan is a subclass of religious process
s__subclass(s__Praying,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

s__instance(s__Praying,s__SetOrClass)

Mid-level-ontology.kif 7480-7480 Praying is a subclass of religious process
s__instance(s__ReligiousFuneral,s__SetOrClass)

s__subclass(s__ReligiousFuneral,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

Mid-level-ontology.kif 14553-14553 ReligiousFuneral is a subclass of religious process
s__instance(s__ReligiousService,s__SetOrClass)

s__instance(s__ReligiousProcess,s__SetOrClass)

s__subclass(s__ReligiousService,s__ReligiousProcess)

Mid-level-ontology.kif 7462-7462 Religious service is a subclass of religious process
s__subclass(s__UdhiyahRitual,s__ReligiousProcess)

s__instance(s__UdhiyahRitual,s__SetOrClass)

s__instance(s__ReligiousProcess,s__SetOrClass)

ArabicCulture.kif 231-231 Udhiyah ritual is a subclass of religious process
s__subclass(s__Umrah,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

s__instance(s__Umrah,s__SetOrClass)

ArabicCulture.kif 175-175 Umrah is a subclass of religious process
s__instance(s__Zakat,s__SetOrClass)

s__subclass(s__Zakat,s__ReligiousProcess)

s__instance(s__ReligiousProcess,s__SetOrClass)

ArabicCulture.kif 186-186 Zakat is a subclass of religious process
s__termFormat(s__ChineseLanguage,s__ReligiousProcess,'"宗教过程"')

chinese_format.kif 1096-1096
s__termFormat(s__EnglishLanguage,s__ReligiousProcess,'"religious process"')

english_format.kif 1408-1408

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


( ! [V__AGENT,V__ACT] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__ACT,s__ReligiousProcess) &
             s__agent(V__ACT,V__AGENT))
         =>
         ((s__instance(V__AGENT,s__ReligiousOrganization) |
             ( ? [V__ORG] :
               ((s__member(V__AGENT,V__ORG)
                 &
                 s__instance(V__ORG,s__ReligiousOrganization)))))))))
)
)

Merge.kif 10120-10129

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20993-20999
( ! [V__X] :
   ((s__instance(V__X,s__Theology) =>
       (( ? [V__Y] :
           ((s__instance(V__Y,s__ReligiousProcess) &
               s__refers(V__X,V__Y))))))
   )
)

Mid-level-ontology.kif 19666-19671


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