| appearance as argument number 1 |
|
|
| (documentation Ceremony EnglishLanguage "An instance of Ceremony is a relatively stylized, highly conventional SocialInteraction, typically guided or controlled by officials or professionals, to commemorate or mark some transformative event, such as a Wedding or a Baptizing.") | Mid-level-ontology.kif 9089-9093 | |
| (subclass Ceremony IntentionalProcess) | Mid-level-ontology.kif 9087-9087 | Ceremony is a subclass of intentional process |
| (subclass Ceremony SocialInteraction) | Mid-level-ontology.kif 9088-9088 | Ceremony is a subclass of social interaction |
| appearance as argument number 2 |
|
|
| (subclass Baptizing Ceremony) | Mid-level-ontology.kif 9158-9158 | Baptizing is a subclass of ceremony |
| (subclass BarMitzvah Ceremony) | Biography.kif 66-66 | Bar mitzvah is a subclass of ceremony |
| (subclass BatMitzvah Ceremony) | Biography.kif 97-97 | Bat mitzvah is a subclass of ceremony |
| (subclass Coronation Ceremony) | Government.kif 1333-1333 | Coronation is a subclass of ceremony |
| (subclass Funeral Ceremony) | Mid-level-ontology.kif 17389-17389 | Funeral is a subclass of ceremony |
| (subclass Wedding Ceremony) | Mid-level-ontology.kif 9127-9127 | Wedding is a subclass of ceremony |
| (termFormat EnglishLanguage Ceremony "ceremony") | domainEnglishFormat.kif 64602-64602 | Wedding is a subclass of ceremony |
| consequent |
|
|
| (=> (and (instance ?ORD Ordaining) (patient ?ORD ?X) (instance ?X Human) (member ?X Christianity)) (hasPurpose ?ORD (exists (?CER ?A) (and (instance ?CER Ceremony) (instance ?A Appointing) (subProcess ?A ?CER) (patient ?A ?X) (appointedPosition ?A ?X Cleric))))) |
Biography.kif 161-174 |
|
|
|
|