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 10559-10560 | |
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 10557-10557 | 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 7992-7992 | Baptizing is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 66-66 | BarMitzvah is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 96-96 | BatMitzvah 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 127-127 | Ordaining is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8003-8003 | Praying is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16025-16025 | Religious funeral is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7985-7985 | Religious service is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 54-54 | ReligiousWedding 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 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1403-1403 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 774-774 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 306-306 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 309-309 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2458-2458 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 726-726 | |
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 10562-10571 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22522-22528 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21317-21322 |
|