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 20876-20876 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20875-20875 | 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 1209-1209 | Abbot is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | People.kif 1381-1381 | 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 1294-1294 | Cardinal is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | People.kif 1133-1133 | Chaplain is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20885-20885 | Cleric is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20896-20896 | 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 1287-1287 | Pope is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | People.kif 1432-1432 | Rabbi is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49430-49430 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49429-49429 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49428-49428 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20878-20882 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 132-143 |
|
![]() |
![]() |