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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2945-2946
No TPTP formula. May not be expressible in strict first order. Merge.kif 10477-10478
No TPTP formula. May not be expressible in strict first order. Merge.kif 10475-10475 Religious process is a subclass of organizational process

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 313-313 Aqiqah is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7707-7707 Baptizing is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 261-261 Eid aladha is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 111-111 Hajj is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 160-160 Ihram period is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 51-51 Islamic militancy is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 333-333 Khitan is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7718-7718 Praying is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15525-15525 ReligiousFuneral is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7700-7700 Religious service is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 231-231 Udhiyah ritual is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 175-175 Umrah is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 186-186 Zakat is a subclass of religious process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1096-1096
No TPTP formula. May not be expressible in strict first order. english_format.kif 1403-1403

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10480-10489

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22053-22059
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20720-20725


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