| Coffin
| |
| appearance as argument number 1 |
|
|
| (documentation Coffin EnglishLanguage "A Container for a HumanCorpse.") | Mid-level-ontology.kif 4598-4598 | |
| (externalImage Coffin "http://articulatesoftware.com/SUMOpictures/holiday/ halloween/ coffin.png") | pictureList.kif 357-357 | |
| (subclass Coffin Container) | Mid-level-ontology.kif 4597-4597 | Coffin は Container の subclass では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Coffin "棺材") | domainEnglishFormat.kif 15515-15515 | |
| (termFormat ChineseTraditionalLanguage Coffin "棺材") | domainEnglishFormat.kif 15514-15514 | |
| (termFormat EnglishLanguage Coffin "coffin") | domainEnglishFormat.kif 15513-15513 |
| antecedent |
|
|
| (=> (instance ?C Coffin) (hasPurpose ?C (exists (?HC) (and (instance ?HC HumanCorpse) (located ?HC ?C))))) |
Mid-level-ontology.kif 4599-4605 |
|
|
|