more pictures...
| Dead
more pictures... | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Dead Living) | Merge.kif 18227-18227 | |
| (documentation Dead ChineseLanguage "这是指失去生命的 Organism 的 Attribute。") | chinese_format.kif 4016-4016 | |
| (documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.") | Merge.kif 18228-18229 | |
| (externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg") | pictureList.kif 3062-3062 | |
| (externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg") | pictureList.kif 2944-2944 | |
| (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 | |
| (externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg") | pictureList.kif 3063-3063 | |
| (externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg") | pictureList.kif 3060-3060 | |
| (instance Dead AnimacyAttribute) | Merge.kif 18225-18225 | |
| (subAttribute Dead Unconscious) | Merge.kif 18226-18226 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dead "死") | domainEnglishFormat.kif 18747-18747 | |
| (termFormat ChineseTraditionalLanguage Dead "死") | domainEnglishFormat.kif 18746-18746 | |
| (termFormat EnglishLanguage Dead "dead") | domainEnglishFormat.kif 18745-18745 |
| appearance as argument number 3 |
|
|
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18212-18212 |
| 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 |
|
|
| (=> (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 10317-10332 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12410-12416 | |
| (=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead)))) |
Mid-level-ontology.kif 23760-23768 | |
| (=> (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 23956-23970 | |
| (=> (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 8033-8039 | |
| (=> (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 23750-23758 |
|
|
|