appearance as argument number 1 |
(contraryAttribute Dead Living) | Merge.kif 18172-18172 | Dead is the opposite of living |
(documentation Dead ChineseLanguage "这是指失去生命的 Organism 的 Attribute。") | chinese_format.kif 4016-4016 | |
(documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.") | Merge.kif 18173-18174 | |
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg") | pictureList.kif 3063-3063 | |
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg") | pictureList.kif 2945-2945 | |
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Hans_Holbein-_The_Body_of_the_Dead_Christ_in_the_Tomb.JPG") | pictureList.kif 3062-3062 | |
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg") | pictureList.kif 3064-3064 | |
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg") | pictureList.kif 3061-3061 | |
(instance Dead AnimacyAttribute) | Merge.kif 18170-18170 | Dead is an instance of animacy attribute |
(subAttribute Dead Unconscious) | Merge.kif 18171-18171 | Dead is a subattribute of unconscious |
appearance as argument number 2 |
(termFormat ChineseLanguage Dead "死") | domainEnglishFormat.kif 18732-18732 | |
(termFormat ChineseTraditionalLanguage Dead "死") | domainEnglishFormat.kif 18731-18731 | |
(termFormat EnglishLanguage Dead "dead") | domainEnglishFormat.kif 18730-18730 |
appearance as argument number 3 |
(exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18157-18157 | Living are all the attributes of animacy attribute |
antecedent |
(=> (and (holdsDuring ?T (desires ?M (attribute ?V Dead))) (instance ?MURDER Murder) (agent ?MURDER ?M) (patient ?MURDER ?V) (earlier ?T (WhenFn ?MURDER))) (attribute ?MURDER Premeditated)) |
Law.kif 480-489 |
|
consequent |