| 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 17282-17282 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17281-17281 | 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 1211-1211 | Abbot is an instance of religious position |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1383-1383 | Ayatollah is an instance of religious position |
| No TPTP formula. May not be expressible in strict first order. | People.kif 828-828 | Bishop is an instance of religious position |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1296-1296 | Cardinal is an instance of religious position |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1135-1135 | Chaplain is an instance of religious position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17291-17291 | Cleric is an instance of religious position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17302-17302 | Deacon is an instance of religious position |
| No TPTP formula. May not be expressible in strict first order. | People.kif 682-682 | Monk is an instance of religious position |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1289-1289 | Pope is an instance of religious position |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1434-1434 | Rabbi is an instance of religious position |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49412-49412 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49411-49411 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49410-49410 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17284-17288 |
|
|
|
|