|
|
   ReligiousPosition
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.") | Mid-level-ontology.kif 20904-20904 | |
| (subclass ReligiousPosition Position) | Mid-level-ontology.kif 20903-20903 |
| appearance as argument number 2 |
|
|
| (instance Abbot ReligiousPosition) | People.kif 1209-1209 | |
| (instance Ayatollah ReligiousPosition) | People.kif 1381-1381 | |
| (instance Bishop ReligiousPosition) | People.kif 826-826 | |
| (instance Cardinal ReligiousPosition) | People.kif 1294-1294 | |
| (instance Chaplain ReligiousPosition) | People.kif 1133-1133 | |
| (instance Cleric ReligiousPosition) | Mid-level-ontology.kif 20913-20913 | |
| (instance Deacon ReligiousPosition) | Mid-level-ontology.kif 20924-20924 | |
| (instance Monk ReligiousPosition) | People.kif 680-680 | |
| (instance Pope ReligiousPosition) | People.kif 1287-1287 | |
| (instance Rabbi ReligiousPosition) | People.kif 1432-1432 | |
| (termFormat ChineseLanguage ReligiousPosition "宗教立场") | domainEnglishFormat.kif 49432-49432 | |
| (termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場") | domainEnglishFormat.kif 49431-49431 | |
| (termFormat EnglishLanguage ReligiousPosition "religious position") | domainEnglishFormat.kif 49430-49430 |
| antecedent |
|
|
| (=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization)) |
Mid-level-ontology.kif 20906-20910 |
| 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 132-143 |
|
|
|