| ReligiousPosition | |
| appearance as argument number 1 |
|
|
| (documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.") | Mid-level-ontology.kif 22494-22494 | |
| (subclass ReligiousPosition Position) | Mid-level-ontology.kif 22493-22493 |
| appearance as argument number 2 |
|
|
| (instance Abbot ReligiousPosition) | People.kif 1210-1210 | |
| (instance Ayatollah ReligiousPosition) | People.kif 1382-1382 | |
| (instance Bishop ReligiousPosition) | People.kif 826-826 | |
| (instance Cardinal ReligiousPosition) | People.kif 1295-1295 | |
| (instance Chaplain ReligiousPosition) | People.kif 1134-1134 | |
| (instance Cleric ReligiousPosition) | Mid-level-ontology.kif 22503-22503 | |
| (instance Deacon ReligiousPosition) | Mid-level-ontology.kif 22514-22514 | |
| (instance Monk ReligiousPosition) | People.kif 680-680 | |
| (instance Pope ReligiousPosition) | People.kif 1288-1288 | |
| (instance Rabbi ReligiousPosition) | People.kif 1433-1433 | |
| (termFormat ChineseLanguage ReligiousPosition "宗教立场") | domainEnglishFormat.kif 49434-49434 | |
| (termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場") | domainEnglishFormat.kif 49433-49433 | |
| (termFormat EnglishLanguage ReligiousPosition "religious position") | domainEnglishFormat.kif 49432-49432 |
| antecedent |
|
|
| (=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization)) |
Mid-level-ontology.kif 22496-22500 |
| consequent |
|
|
| (=> (instance ?ORD Ordaining) (hasPurpose ?ORD (exists (?X ?ORG ?POS) (and (patient ?ORD ?X) (instance ?X Human) (instance ?ORG ReligiousOrganization) (member ?X ?ORG) (result ?ORD ?POS) (instance ?POS ReligiousPosition) (occupiesPosition ?X ?POS ?ORG))))) |
Biography.kif 136-147 |
|
|
|