Coffin - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Coffin Container)	Mid-level-ontology.kif 4800-4800	Coffin is a subclass of container
(documentation Coffin EnglishLanguage "A Container for a HumanCorpse.")	Mid-level-ontology.kif 4801-4801	Coffin is a subclass of container
(externalImage Coffin "http://articulatesoftware.com/SUMOpictures/holiday/ halloween/ coffin.png")	pictureList.kif 357-357	Coffin is a subclass of container

appearance as argument number 2

(termFormat EnglishLanguage Coffin "coffin")	domainEnglishFormat.kif 15506-15506
(termFormat ChineseTraditionalLanguage Coffin "棺材")	domainEnglishFormat.kif 15507-15507
(termFormat ChineseLanguage Coffin "棺材")	domainEnglishFormat.kif 15508-15508

antecedent

(=>
    (instance ?C Coffin)
    (hasPurpose ?C
        (exists (?HC)
            (and
                (instance ?HC HumanCorpse)
                (located ?HC ?C)))))

If X is an instance of coffin, then X has the purpose there exists Y such that Y is an instance of human corpse and Y is located at X