Coffin(coffin)![]() | ![]() | casket, coffin |
appearance as argument number 1 |
![]() |
(documentation Coffin EnglishLanguage "A Container for a HumanCorpse.") | Mid-level-ontology.kif 4221-4221 | |
(externalImage Coffin "http://articulatesoftware.com/SUMOpictures/holiday/ halloween/ coffin.png") | pictureList.kif 357-357 | |
(subclass Coffin Container) | Mid-level-ontology.kif 4220-4220 | Coffin is a subclass of container |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Coffin "棺材") | domainEnglishFormat.kif 15521-15521 | |
(termFormat ChineseTraditionalLanguage Coffin "棺材") | domainEnglishFormat.kif 15520-15520 | |
(termFormat EnglishLanguage Coffin "coffin") | domainEnglishFormat.kif 15519-15519 |
antecedent |
![]() |
(=> (instance ?C Coffin) (hasPurpose ?C (exists (?HC) (and (instance ?HC HumanCorpse) (located ?HC ?C))))) |
Mid-level-ontology.kif 4222-4228 |
|
![]() |
![]() |