| 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 10697-10698 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1700-1701 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10695-10695 | 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 324-324 | Aqiqah is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9159-9159 | Baptizing is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 67-67 | Bar mitzvah is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 98-98 | Bat mitzvah is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 272-272 | Eid aladha is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 120-120 | Hajj is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 169-169 | 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 344-344 | Khitan is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 130-130 | Ordaining is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9170-9170 | Praying is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17412-17412 | Religious funeral is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9152-9152 | Religious service is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 55-55 | Religious wedding is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 242-242 | Udhiyah ritual is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 184-184 | Umrah is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 195-195 | Zakat is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1096-1096 | Zakat is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1403-1403 | Zakat is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 774-774 | Zakat is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 306-306 | Zakat is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 309-309 | Zakat is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2458-2458 | Zakat is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 726-726 | Zakat is a subclass of religious process |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10700-10709 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24163-24169 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22934-22939 |
|
|
|
|