Dead![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(contraryAttribute Dead Living) | Merge.kif 18279-18279 | Dead は Living の disjoint では |
(documentation Dead ChineseLanguage "这是指失去生命的 Organism 的 Attribute。") | chinese_format.kif 4016-4016 | Dead は Living の disjoint では |
(documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.") | Merge.kif 18280-18281 | Dead は Living の disjoint では |
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg") | pictureList.kif 3062-3062 | Dead は Living の disjoint では |
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg") | pictureList.kif 2944-2944 | Dead は Living の disjoint では |
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Hans_Holbein-_The_Body_of_the_Dead_Christ_in_the_Tomb.JPG") | pictureList.kif 3061-3061 | Dead は Living の disjoint では |
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg") | pictureList.kif 3063-3063 | Dead は Living の disjoint では |
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg") | pictureList.kif 3060-3060 | Dead は Living の disjoint では |
(instance Dead AnimacyAttribute) | Merge.kif 18277-18277 | Dead は 有生性属性 の instance では |
(subAttribute Dead Unconscious) | Merge.kif 18278-18278 | Dead は 無意識 の subattribute では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Dead "死") | domainEnglishFormat.kif 18741-18741 | |
(termFormat ChineseTraditionalLanguage Dead "死") | domainEnglishFormat.kif 18740-18740 | |
(termFormat EnglishLanguage Dead "dead") | domainEnglishFormat.kif 18739-18739 |
appearance as argument number 3 |
![]() |
(exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18264-18264 | exhaustiveAttribute 有生性属性, Living and Dead |
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 486-495 |
|
consequent |
![]() |
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM ?OBJ) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG)))))) |
Merge.kif 10362-10377 | |
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12455-12461 | |
(=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead)))) |
Mid-level-ontology.kif 23754-23762 | |
(=> (holdsDuring ?NOW (attribute ?P Widowed)) (and (exists (?BEFORE ?SPOUSE) (and (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (spouse ?SPOUSE ?P)) (holdsDuring ?NOW (attribute ?SPOUSE Dead)))) (not (exists (?OTHER) (holdsDuring ?NOW (spouse ?OTHER ?P)))))) |
Mid-level-ontology.kif 23948-23962 | |
(=> (holdsDuring ?T (attribute ?P BereavedFather)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (father ?P ?C)) (holdsDuring ?T (attribute ?C Dead))))) |
ArabicCulture.kif 792-798 | |
(=> (holdsDuring ?T (attribute ?P BereavedMother)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (mother ?P ?C)) (holdsDuring ?T (attribute ?C Dead))))) |
ArabicCulture.kif 806-812 | |
(=> (instance ?T Tomb) (hasPurpose ?T (exists (?P) (and (attribute ?P Dead) (contains ?T ?P))))) |
Mid-level-ontology.kif 8007-8013 | |
(=> (instance ?X OrganismRemains) (holdsDuring (WhenFn ?X) (attribute ?X Dead))) |
Mid-level-ontology.kif 41-43 | |
(=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead))))) |
Mid-level-ontology.kif 23744-23752 |
|
![]() |
![]() |