ReligiousFuneral - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ReligiousFuneral EnglishLanguage "A ReligiousFuneral is a Funeral with specifically religious rites.")	Mid-level-ontology.kif 17433-17433
(subclass ReligiousFuneral Funeral)	Mid-level-ontology.kif 17431-17431	Religious funeral is a subclass of funeral
(subclass ReligiousFuneral ReligiousProcess)	Mid-level-ontology.kif 17432-17432	Religious funeral is a subclass of religious process

appearance as argument number 2

(subclass ReligiousBurial ReligiousFuneral)	Mid-level-ontology.kif 17442-17442	Religious burial is a subclass of religious funeral
(termFormat EnglishLanguage ReligiousFuneral "religious funeral")	domainEnglishFormat.kif 65425-65425	Religious burial is a subclass of religious funeral

antecedent

(=>
    (instance ?RF ReligiousFuneral)
    (exists (?S)
        (and
            (instance ?S ReligiousService)
            (subProcess ?S ?RF))))

Mid-level-ontology.kif 17435-17440