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 16244-16244
(subclass ReligiousFuneral Funeral)	Mid-level-ontology.kif 16242-16242	Religious funeral is a subclass of funeral
(subclass ReligiousFuneral ReligiousProcess)	Mid-level-ontology.kif 16243-16243	Religious funeral is a subclass of religious process

appearance as argument number 2

(subclass ReligiousBurial ReligiousFuneral)	Mid-level-ontology.kif 16253-16253	Religious burial is a subclass of religious funeral
(termFormat EnglishLanguage ReligiousFuneral "religious funeral")	domainEnglishFormat.kif 65450-65450	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 16246-16251