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 55-55	Religious wedding is a subclass of religious process
(subclass ReligiousWedding Wedding)	Biography.kif 53-53	Religious wedding is a subclass of wedding

appearance as argument number 2

Biography.kif 54-54

antecedent

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

Biography.kif 57-62