ReligiousWedding - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ReligiousWedding EnglishLanguage "ReligiousWedding is a Wedding held with the presence of a &ReligiousService as part of the Ceremony.")	Biography.kif 51-52
(subclass ReligiousWedding ReligiousProcess)	Biography.kif 54-54	ReligiousWedding is a subclass of religious process
(subclass ReligiousWedding Wedding)	Biography.kif 53-53	ReligiousWedding is a subclass of wedding

antecedent

(=>
    (instance ?WED ReligiousWedding)
    (exists (?PROC)
        (and
            (instance ?PROC ReligiousService)
            (subProcess ?PROC ?WED))))

Biography.kif 56-61