Death - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Death ChineseLanguage "这是死亡的 Process。")	chinese_format.kif 2905-2905
(documentation Death EnglishLanguage "The Process of dying.")	Merge.kif 10333-10333
(documentation Death JapaneseLanguage "死ぬ Process。")	japanese_format.kif 1654-1654
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/3/30/ Ants_cleaning_dead_snake.jpg")	pictureList.kif 6347-6347
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/3/33/ CAGrave.jpg")	pictureList.kif 6348-6348
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/5/53/ Rembrandt_Harmensz._van_Rijn_007.jpg")	pictureList.kif 6349-6349
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Deadconfederate.jpg")	pictureList.kif 6350-6350
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/e/e0/ ExtinctDodoBird.jpeg")	pictureList.kif 5948-5948
(subclass Death OrganismProcess)	Merge.kif 10331-10331	死は生物プロセスの subclass では

appearance as argument number 2

(subclass Asphyxiation Death)	Medicine.kif 6317-6317	Asphyxiation は死の subclass では
(subclass Bleedout Death)	Medicine.kif 6333-6333	Bleedout は死の subclass では
(termFormat ChineseLanguage Death "死亡")	chinese_format.kif 1077-1077	Bleedout は死の subclass では
(termFormat EnglishLanguage Death "death")	english_format.kif 1365-1365	Bleedout は死の subclass では
(termFormat FrenchLanguage Death "mort")	french_format.kif 755-755	Bleedout は死の subclass では
(termFormat Hindi Death "mrityu")	terms-hindi.txt 287-287	Bleedout は死の subclass では
(termFormat ItalianLanguage Death "Morte")	terms-it.txt 290-290	Bleedout は死の subclass では
(termFormat JapaneseLanguage Death "死")	japanese_format.kif 2439-2439	Bleedout は死の subclass では
(termFormat PortugueseLanguage Death "Morte")	portuguese_format.kif 707-707	Bleedout は死の subclass では
(termFormat cb Death "namatyan")	terms-cb.txt 292-292	Bleedout は死の subclass では
(termFormat cz Death "death")	terms-cz.txt 326-326	Bleedout は死の subclass では
(termFormat de Death "Tod")	terms-de.txt 585-585	Bleedout は死の subclass では
(termFormat ro Death "moarte")	relations-ro.kif 776-776	Bleedout は死の subclass では
(termFormat tg Death "kamatayan")	terms-tg.txt 291-291	Bleedout は死の subclass では

antecedent

(=> (and (instance ?B Bleeding) (instance ?D Death) (instance ?H Human) (instance ?P Human) (experiencer ?B ?P) (orientation ?H ?P Near) (modalAttribute (causes ?B ?D) Likely)) (holdsObligation ?H (exists (?A) (and (instance ?A ApplyingTourniquet) (agent ?A ?H) (destination ?A ?P)))))	Medicine.kif 44-59	工程は Bleeding の instance ではエンティティーは死の instance では公式は人［人間］の instance では AutonomousAgent は人［人間］の instance では AutonomousAgent が工程を experiences 公式は Near 対 AutonomousAgent ではステートメント工程はエンティティーを causes には Likely の modal force があるエンティティーエンティティーは ApplyingTourniquet の instance では公式はエンティティーの agent ではエンティティーは AutonomousAgent に ends はタイプ公式のタスクを実行する obliged
(=> (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 10347-10362	工程は死の instance では AutonomousAgent は物の instance では AutonomousAgent が工程を experiences エンティティーエンティティーエンティティーは工程の result ではエンティティーは有機物の instance では Dead はエンティティーの attribute ではは工程の time の existence の after の during holds エンティティーはエンティティーの part ではは工程の time の existence のすぐ after の during holds エンティティーは AutonomousAgent の part ではは工程の time の existence の immediately before の during holds
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (experiencer ?DEATH ?ORG)) (result ?DEATH ?REM))	Mid-level-ontology.kif 85-94	工程は死の instance ではエンティティーは OrganismRemains の instance では AutonomousAgent は物の instance ではエンティティーはエンティティーの part ではは時間間隔の during holds エンティティーは AutonomousAgent の part ではは時間間隔の during holds 時間間隔は時間間隔より earlier happens AutonomousAgent が工程を experiences エンティティーは工程の result では
(=> (and (instance ?DEATH Death) (instance ?REM OrganismRemains) (instance ?ORG Organism) (holdsDuring ?T2 (part ?OBJ ?REM)) (holdsDuring ?T1 (part ?OBJ ?ORG)) (earlier ?T1 ?T2) (result ?DEATH ?REM)) (experiencer ?DEATH ?ORG))	Mid-level-ontology.kif 74-83	工程は死の instance ではエンティティーは OrganismRemains の instance では AutonomousAgent は物の instance ではエンティティーはエンティティーの part ではは時間間隔の during holds エンティティーは AutonomousAgent の part ではは時間間隔の during holds 時間間隔は時間間隔より earlier happens エンティティーは工程の result では AutonomousAgent が工程を experiences
(=> (and (instance ?REM (DeadFn ?ORGTYPE)) (instance ?DEATH Death) (result ?DEATH ?REM) (experiencer ?DEATH ?ORG)) (instance ?ORG ?ORGTYPE))	Mid-level-ontology.kif 114-120	エンティティーは DeadFn 有機物の instance では工程は死の instance ではエンティティーは工程の result では AutonomousAgent が工程を experiences AutonomousAgent は有機物の instance では
(=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG) (result ?DEATH ?REM)) (instance ?REM OrganismRemains))	Mid-level-ontology.kif 58-65	エンティティーは有機物の instance では工程は死の instance では AutonomousAgent は物の instance では AutonomousAgent が工程を experiences エンティティーは工程の result ではエンティティーは OrganismRemains の instance では
(=> (and (instance ?REM OrganismRemains) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORGTYPE OrganicObject) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE)))	Mid-level-ontology.kif 122-130	エンティティーは OrganismRemains の instance では工程は死の instance では AutonomousAgent が工程を experiences AutonomousAgent は AutonomousAgentTYPE の instance では AutonomousAgentTYPE は有機物の subclass ではエンティティーは工程の result ではエンティティーは DeadFn AutonomousAgentTYPE の instance では
(=> (and (instance ?TEXT DeathCertificate) (instance ?D Death) (instance ?A Human) (experiencer ?D ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N ?PROC) (and (deathdate ?A ?DAY) (instance ?DAY Day) (deathplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name) (causes ?PROC ?D) (instance ?PROC Process)))))	Biography.kif 287-303	ContentBearingPhysical は DeathCertificate の instance では工程は死の instance では AutonomousAgent は人［人間］の instance では AutonomousAgent が工程を experiences containsFormula ContentBearingPhysical and 工程AY エンティティー, エンティティー and エンティティーROC deathdate AutonomousAgent and 工程AY 工程AY は日の instance では deathplace AutonomousAgent and エンティティーエンティティーは地理的地域の instance ではエンティティーは AutonomousAgent を expresses エンティティーは Name の instance ではエンティティーROC は工程を causes エンティティーROC は工程の instance では

consequent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 357-390	年は年EAR year 目の instance では MaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal ではリスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance ではリストの length は整数の instance ではリストITEM リストITEM はリストの member ではリストITEM は記号文字列の instance ではエンティティーエンティティーは記号文字列の instance ではエンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では average リスト and 実数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 118-133	年は整数 year 目の instance では DeathsPerThousandFn 地政学的地域 and 年は実数と equal では PopulationFn 地政学的地域 + 1000 は実数と equal では整数はエンティティー class の instances の数と equal では整数 + 実数は実数と equal では
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 238-264	年は整数 year 目の instance では DeathsPerThousandLiveBirthsFn 地政学的地域 and 年は実数と equal では整数はエンティティー class の instances の数と equal では整数 + 1000 は実数と equal では整数はエンティティー class の instances の数と equal では整数 + 実数は実数と equal では
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 403-436	年は整数 year 目の instance では FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal ではリスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance ではリストの length は整数の instance ではリストITEM リストITEM はリストの member ではリストITEM は記号文字列の instance ではエンティティーエンティティーは記号文字列の instance ではエンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では average リスト and 実数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 310-342	年は整数 year 目の instance では LifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal ではリスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance ではリストの length は整数の instance ではリストITEM リストITEM はリストの member ではリストITEM は記号文字列の instance ではエンティティーエンティティーは記号文字列の instance ではエンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では average リスト and 実数
(=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death)))))	Transportation.kif 4201-4225	ToxicandInfectiousSubstance はオブジェクトの attribute ではオブジェクトは物質の instance ではオブジェクトは微生物の instance では AutonomousAgent 工程, 工程 and 工程 AutonomousAgent は人［人間］の instance では AutonomousAgent は動物の instance ではオブジェクトは Near 対 AutonomousAgent では工程は Inhaling の instance では工程は摂取の instance では工程は接触の instance では AutonomousAgent は工程の agent ではオブジェクトは工程の patient では工程は工程を causes AutonomousAgent は工程の patient では工程は工程の instance ではオブジェクトは工程を resource として行う capable では工程はけがの subclass では工程は死の subclass では
(=> (and (instance ?A Anaphylaxis) (experiencer ?A ?H)) (modalAttribute (exists (?D) (and (instance ?D Death) (experiencer ?D ?H) (causes ?A ?D))) Possibility))	Medicine.kif 1538-1548	工程は Anaphylaxis の instance では AutonomousAgent が工程を experiences ステートメントエンティティーエンティティーは死の instance では AutonomousAgent がエンティティーを experiences 工程はエンティティーを causes には Possibility の modal force がある
(=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm ?P (possesses ?H ?PROP) Permission))))	Mid-level-ontology.kif 20250-20266	移動は Bequeathing の instance では AutonomousAgent は移動の agent では移動はエンティティーに ends objectTransferred 移動 and AutonomousAgentROP 工程工程は死の instance では AutonomousAgent が工程を experiences 工程の time の existence は移動の time の existence より earlier happens AutonomousAgent は AutonomousAgentROP を possesses は工程の time の existence の immediately before の during holds confersNorm AutonomousAgent, エンティティーは AutonomousAgentROP を possesses and Permission
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10322-10329	工程は出生の instance では AutonomousAgent が工程を experiences 工程工程は死の instance では AutonomousAgent が工程を experiences
(=> (and (instance ?DISEASE LifeThreateningDisease) (attribute ?AGENT ?DISEASE)) (capability Death experiencer ?AGENT))	WMD.kif 1029-1033	属性は LifeThreateningDisease の instance では属性はオブジェクトの attribute ではオブジェクトは死を experiencer として行う capable では
(=> (and (instance ?INHERIT Inheriting) (agent ?INHERIT ?HEIR) (origin ?INHERIT ?PERSON) (patient ?INHERIT ?PROPERTY)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (earlier (WhenFn ?DEATH) (WhenFn ?INHERIT)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (possesses ?PERSON ?PROPERTY)) (confersRight (possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR))))	Mid-level-ontology.kif 20192-20210	工程は Inheriting の instance では認識エージェントは工程の agent では工程は AutonomousAgent から originates エンティティーは工程の patient では工程工程は死の instance では AutonomousAgent が工程を experiences 工程の time の existence は工程の time の existence より earlier happens AutonomousAgent はエンティティーを possesses は工程の time の existence の immediately before の during holds AutonomousAgent は認識エージェントが認識エージェントはエンティティーを possesses のタスクを実行することはを allows
(=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH))))	Merge.kif 12448-12456	工程は殺害の instance では AutonomousAgent は工程の patient では工程工程は死の instance では AutonomousAgent が工程を experiences 工程は工程を causes
(=> (and (instance ?T TimePeriod) (duration ?T (MeasureFn ?N MinuteDuration)) (greaterThan ?N 5.0) (instance ?H Human) (not (exists (?B) (and (instance ?B Breathing) (during (WhenFn ?B) ?T) (patient ?B ?H))))) (modalAttribute (exists (?D) (and (instance ?D Death) (experiencer ?D ?H) (meetsTemporally ?T (WhenFn ?D)))) Likely))	Medicine.kif 6014-6034	時間間隔は TimePeriod の instance では時間間隔の duration は実数の MinuteDuration(s) では実数は 5.0 より greater では　エンティティーは人［人間］の instance では工程工程は呼吸の instance では工程の time の existence は時間間隔の during に takes エンティティーは工程の patient ではステートメントエンティティーエンティティーは死の instance ではエンティティーがエンティティーを experiences 時間間隔はエンティティーの time の existence に meets には Likely の modal force がある
(=> (attribute ?O Mortal) (and (instance ?O Organism) (capability Death experiencer ?O)))	Mid-level-ontology.kif 25931-25935	Mortal はオブジェクトの attribute ではオブジェクトは物の instance ではオブジェクトは死を experiencer として行う capable では
(=> (deathdate ?P ?T) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (date ?D ?T))))	Mid-level-ontology.kif 25948-25954	deathdate 人［人間］ and 日工程工程は死の instance では人［人間］が工程を experiences 工程の date は日では
(=> (deathplace ?P ?L) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (eventLocated ?D ?L))))	Mid-level-ontology.kif 25964-25970	deathplace 動物 and オブジェクト工程工程は死の instance では動物が工程を experiences eventLocated 工程 and オブジェクト
(=> (diseaseMortality ?DISEASE ?RATE) (conditionalProbability (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (attribute ?ORGANISM ?DISEASE))) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM))) ?RATE))	WMD.kif 890-900	diseaseMortality 病気または症候群 and 実数エンティティーエンティティーは死の instance ではエンティティーがエンティティーを experiences が実数では場合のエンティティーエンティティーは物の instance では病気または症候群はエンティティーの attribute ではの probability
(=> (holdsDuring ?T (and (instance ?ICU IntensiveCareUnit) (stays ?H ?ICU))) (modalAttribute (exists (?D) (and (instance ?D Death) (finishes (WhenFn ?D) ?T))) Possibility))	Mid-level-ontology.kif 22185-22195	エンティティーは IntensiveCareUnit の instance では stays エンティティー and エンティティーは時間位置の during holds ステートメントエンティティーエンティティーは死の instance ではエンティティーの time の existence は時間位置を finishes には Possibility の modal force がある
(=> (instance ?F Funeral) (exists (?D) (and (instance ?D Death) (refers ?F ?D))))	Mid-level-ontology.kif 17394-17399	エンティティーは Funeral の instance ではエンティティーエンティティーは死の instance ではエンティティーはエンティティーへの reference を includes
(=> (instance ?REM OrganismRemains) (exists (?DEATH) (and (instance ?DEATH Death) (result ?DEATH ?REM))))	Mid-level-ontology.kif 67-72	エンティティーは OrganismRemains の instance では工程工程は死の instance ではエンティティーは工程の result では
(=> (instance ?TEXT DeathCertificate) (hasPurpose ?TEXT (exists (?D ?A) (and (instance ?D Death) (instance ?A Human) (experiencer ?D ?A) (represents ?TEXT ?D)))))	Biography.kif 277-285	物理は DeathCertificate の instance では物理はエンティティーエンティティーエンティティーは死の instance ではエンティティーは人［人間］の instance ではエンティティーがエンティティーを experiences 物理はエンティティーを expresses の目的

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: