ReligiousPosition(religious position) | ![]() | Grand_Inquisitor, Guru, Mahdi, Photius, exorcist, guru, liturgist |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22494-22494 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22493-22493 | Religious position is a subclass of position |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | People.kif 1210-1210 | Abbot is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | People.kif 1382-1382 | Ayatollah is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | People.kif 826-826 | Bishop is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | People.kif 1295-1295 | Cardinal is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | People.kif 1134-1134 | Chaplain is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22503-22503 | Cleric is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22514-22514 | Deacon is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | People.kif 680-680 | Monk is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | People.kif 1288-1288 | Pope is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | People.kif 1433-1433 | Rabbi is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49434-49434 | Rabbi is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49433-49433 | Rabbi is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49432-49432 | Rabbi is an instance of religious position |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22496-22500 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 136-147 |
|
![]() |
![]() |