more pictures...
| Dead
more pictures... | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Dead Living) | Merge.kif 18063-18063 | |
| (documentation Dead ChineseLanguage "这是指失去生命的 Organism 的 Attribute。") | chinese_format.kif 4016-4016 | |
| (documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.") | Merge.kif 18064-18065 | |
| (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 18061-18061 | |
| (subAttribute Dead Unconscious) | Merge.kif 18062-18062 |
| 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 18048-18048 |
| 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 10222-10237 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12275-12281 | |
| (=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead)))) |
Mid-level-ontology.kif 22060-22068 | |
| (=> (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 22256-22270 | |
| (=> (holdsDuring ?T (attribute ?P BereavedFather)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (father ?P ?C)) (holdsDuring ?T (attribute ?C Dead))))) |
ArabicCulture.kif 760-766 | |
| (=> (holdsDuring ?T (attribute ?P BereavedMother)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (mother ?P ?C)) (holdsDuring ?T (attribute ?C Dead))))) |
ArabicCulture.kif 774-780 | |
| (=> (instance ?T Tomb) (hasPurpose ?T (exists (?P) (and (attribute ?P Dead) (contains ?T ?P))))) |
Mid-level-ontology.kif 6818-6824 | |
| (=> (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 22050-22058 |
|
|
|