Dead - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute Dead Living)	Merge.kif 18227-18227	Dead は Living の disjoint では %n
(documentation Dead ChineseLanguage "这是指失去生命的 Organism 的 Attribute。")	chinese_format.kif 4016-4016	Dead は Living の disjoint では %n
(documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.")	Merge.kif 18228-18229	Dead は Living の disjoint では %n
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg")	pictureList.kif 3062-3062	Dead は Living の disjoint では %n
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg")	pictureList.kif 2944-2944	Dead は Living の disjoint では %n
(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 では %n
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg")	pictureList.kif 3063-3063	Dead は Living の disjoint では %n
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg")	pictureList.kif 3060-3060	Dead は Living の disjoint では %n
(instance Dead AnimacyAttribute)	Merge.kif 18225-18225	Dead は有生性属性の instance では %n
(subAttribute Dead Unconscious)	Merge.kif 18226-18226	Dead は無意識の subattribute では %n

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

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 480-489

AutonomousAgent が Dead はエンティティーの attribute では %n を desires %n{ない} は時間間隔の during holds %n{ない} AutonomousAgentURDER は Murder の instance では %n AutonomousAgent は AutonomousAgentURDER の agent では %n エンティティーは AutonomousAgentURDER の patient では %n 時間間隔は AutonomousAgentURDER の time の existence より earlier happens %n{ない}
Premeditated は AutonomousAgentURDER の attribute では %n

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	工程は死の instance では %n AutonomousAgent は物の instance では %n AutonomousAgent が工程を experiences %n{ない} エンティティーエンティティーエンティティーは工程の result では %n エンティティーは有機物の instance では %n Dead はエンティティーの attribute では %n は工程の time の existence の after の during holds %n{ない} エンティティーはエンティティーの part では %n は工程の time の existence のすぐ after の during holds %n{ない} エンティティーは AutonomousAgent の part では %n は工程の time の existence の immediately before の during holds %n{ない}
(=> (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	工程は殺害の instance では %n エンティティーは工程の patient では %n Living はエンティティーの attribute では %n は工程の time の existence の beginning の during holds %n{ない} Dead はエンティティーの attribute では %n は工程の time の existence の after の during holds %n{ない}
(=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead))))	Mid-level-ontology.kif 23760-23768	工程は SuicideBombing の instance では %n 認識エージェントは工程の agent では %n 認識エージェントは Dead は認識エージェントの attribute では %n は工程の time の existence の after の during holds %n{ない} を believes %n{ない}
(=> (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	Widowed はエンティティーの attribute では %n は時間間隔の during holds %n{ない} 時間間隔エンティティー時間間隔は時間間隔より earlier happens %n{ない} spouse エンティティー and エンティティーは時間間隔の during holds %n{ない} Dead はエンティティーの attribute では %n は時間間隔の during holds %n{ない} エンティティー spouse エンティティー and エンティティーは時間間隔の during holds %n{ない}
(=> (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	BereavedFather はエンティティーの attribute では %n は時間間隔の during holds %n{ない} 時間間隔エンティティー時間間隔は時間間隔より earlier happens %n{ない} エンティティーはエンティティーの father では %n は時間間隔の during holds %n{ない} Dead はエンティティーの attribute では %n は時間間隔の during holds %n{ない}
(=> (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	BereavedMother はエンティティーの attribute では %n は時間間隔の during holds %n{ない} 時間間隔エンティティー時間間隔は時間間隔より earlier happens %n{ない} エンティティーはエンティティーの mother では %n は時間間隔の during holds %n{ない} Dead はエンティティーの attribute では %n は時間間隔の during holds %n{ない}
(=> (instance ?T Tomb) (hasPurpose ?T (exists (?P) (and (attribute ?P Dead) (contains ?T ?P)))))	Mid-level-ontology.kif 8033-8039	物理は Tomb の instance では %n 物理はエンティティー Dead はエンティティーの attribute では %n 物理はエンティティーを contains %n{ない} の目的 %n{ない}
(=> (instance ?X OrganismRemains) (holdsDuring (WhenFn ?X) (attribute ?X Dead)))	Mid-level-ontology.kif 41-43	物理は OrganismRemains の instance では %n Dead は物理の attribute では %n は物理の time の existence の during holds %n{ない}
(=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead)))))	Mid-level-ontology.kif 23750-23758	工程は SuicideBombing の instance では %n AutonomousAgent AutonomousAgent は工程の agent では %n Dead は AutonomousAgent の attribute では %n は工程の time の existence の after の during holds %n{ない}

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: