| 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 9975-9976 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9973-9973 | 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 6969-6969 | 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 6980-6980 | Praying is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12731-12731 | ReligiousFuneral is a subclass of religious process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6962-6962 | 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 1408-1408 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9978-9987 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18958-18964 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17691-17696 |
|
|
|
|