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

appearance as argument number 2

(subclass ReligiousBurial ReligiousFuneral)	Mid-level-ontology.kif 16963-16963	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 16956-16961