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 20877-20877 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20876-20876 | 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 20886-20886 | Cleric is an instance of religious position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20897-20897 | 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 20879-20883 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 132-143 |
|