more pictures...
| Dead
more pictures... | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Dead Living) | Merge.kif 16815-16815 | |
| (documentation Dead ChineseLanguage "这是指失去生命的 Organism 的 Attribute。") | chinese_format.kif 4016-4016 | |
| (documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.") | Merge.kif 16816-16817 | |
| (externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg") | pictureList.kif 3064-3064 | |
| (externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg") | pictureList.kif 2946-2946 | |
| (externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Hans_Holbein-_The_Body_of_the_Dead_Christ_in_the_Tomb.JPG") | pictureList.kif 3063-3063 | |
| (externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg") | pictureList.kif 3065-3065 | |
| (externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg") | pictureList.kif 3062-3062 | |
| (instance Dead AnimacyAttribute) | Merge.kif 16813-16813 | |
| (subAttribute Dead Unconscious) | Merge.kif 16814-16814 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dead "死") | domainEnglishFormat.kif 18664-18664 | |
| (termFormat ChineseTraditionalLanguage Dead "死") | domainEnglishFormat.kif 18663-18663 | |
| (termFormat EnglishLanguage Dead "dead") | domainEnglishFormat.kif 18662-18662 |
| appearance as argument number 3 |
|
|
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 16800-16800 |
| 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 524-533 |
| consequent |
|
|
| (=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM) (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 9655-9670 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 11458-11464 | |
| (=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead)))) |
Mid-level-ontology.kif 19944-19952 | |
| (=> (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 20179-20193 | |
| (=> (holdsDuring ?T (attribute ?P BereavedFather)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (father ?P ?C)) (holdsDuring ?T (attribute ?C Dead))))) |
ArabicCulture.kif 745-751 | |
| (=> (holdsDuring ?T (attribute ?P BereavedMother)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (mother ?P ?C)) (holdsDuring ?T (attribute ?C Dead))))) |
ArabicCulture.kif 759-765 | |
| (=> (instance ?T Tomb) (hasPurpose ?T (exists (?P) (and (attribute ?P Dead) (contains ?T ?P))))) |
Mid-level-ontology.kif 6485-6491 | |
| (=> (instance ?X OrganismRemains) (holdsDuring (WhenFn ?X) (attribute ?X Dead))) |
Mid-level-ontology.kif 153-155 | |
| (=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead))))) |
Mid-level-ontology.kif 19934-19942 |
|
|
|