TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Ceremony IntentionalProcess)	Mid-level-ontology.kif 9241-9241	Ceremony is a subclass of intentional process
(subclass Ceremony SocialInteraction)	Mid-level-ontology.kif 9242-9242	Ceremony is a subclass of social interaction
(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 9243-9247	Ceremony is a subclass of social interaction

appearance as argument number 2

(subclass Wedding Ceremony)	Mid-level-ontology.kif 9281-9281	Wedding is a subclass of ceremony
(subclass Baptizing Ceremony)	Mid-level-ontology.kif 9312-9312	Baptizing is a subclass of ceremony
(subclass Funeral Ceremony)	Mid-level-ontology.kif 17610-17610	Funeral 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 1342-1342	Coronation is a subclass of ceremony
(termFormat EnglishLanguage Ceremony "ceremony")	domainEnglishFormat.kif 64611-64611	Coronation 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)))))

If X is an instance of ordaining, Y is a patient of X, Y is an instance of human, and Y is a member of christianity, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of ceremony (3) W is an instance of appointing (4) W is a subprocess of Z (5) Y is a patient of W (6) appointed position W, Y (7) cleric