Death - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Death

Death

more pictures...

appearance as argument number 1

(documentation Death ChineseLanguage "这是死亡的 Process。")	chinese_format.kif 2905-2905
(documentation Death EnglishLanguage "The Process of dying.")	Merge.kif 10208-10208
(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 6348-6348
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/3/33/ CAGrave.jpg")	pictureList.kif 6349-6349
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/5/53/ Rembrandt_Harmensz._van_Rijn_007.jpg")	pictureList.kif 6350-6350
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Deadconfederate.jpg")	pictureList.kif 6351-6351
(externalImage Death "http://upload.wikimedia.org/wikipedia/commons/e/e0/ ExtinctDodoBird.jpeg")	pictureList.kif 5949-5949
(subclass Death OrganismProcess)	Merge.kif 10206-10206	Death ist eine teilkategorie von OrganismProcess

appearance as argument number 2

(subclass Asphyxiation Death)	Medicine.kif 6300-6300	Asphyxiation ist eine teilkategorie von Death
(subclass Bleedout Death)	Medicine.kif 6316-6316	Bleedout ist eine teilkategorie von Death
(termFormat ChineseLanguage Death "死亡")	chinese_format.kif 1077-1077
(termFormat EnglishLanguage Death "death")	english_format.kif 1365-1365
(termFormat FrenchLanguage Death "mort")	french_format.kif 755-755
(termFormat Hindi Death "mrityu")	terms-hindi.txt 287-287
(termFormat ItalianLanguage Death "Morte")	terms-it.txt 290-290
(termFormat JapaneseLanguage Death "死")	japanese_format.kif 2439-2439
(termFormat PortugueseLanguage Death "Morte")	portuguese_format.kif 707-707
(termFormat cb Death "namatyan")	terms-cb.txt 292-292
(termFormat cz Death "death")	terms-cz.txt 326-326
(termFormat ro Death "moarte")	relations-ro.kif 776-776
(termFormat tg Death "kamatayan")	terms-tg.txt 291-291

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 Attaching) (agent ?A ?H) (destination ?A ?P)))))	Medicine.kif 44-59	Wenn Process ist ein fall von Bleeding %n{nicht} und Entity ist ein fall von Death %n{nicht} und Formula ist ein fall von Human %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und Formula ist Near hinsichlich AutonomousAgent %n{nicht} und die Aussage Process verursacht Entity %n{nicht} hat die modale Kraft von Likely, dann es gibt entity um entity ist ein fall von Attaching %n{nicht} und entity ist der agent von Formula %n{nicht} und entity endet an AutonomousAgent %n{nicht} wird gezwungen, die Aufgabe der Art von Formula durchzuf�hren %n{nicht}
(=> (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	Wenn Process ist ein fall von Death %n{nicht} und AutonomousAgent ist ein fall von Organism %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Entity und entity um Entity ist ein resultat von Process %n{nicht} und Entity ist ein fall von OrganicObject %n{nicht} und Dead ist ein attribut von Entity %n{nicht} haelt waehrend nach die zeit des Bestehens von Process %n{nicht} und wenn entity ist ein teil von Entity %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von Process %n{nicht}, dann entity ist ein teil von AutonomousAgent %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht}
(=> (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	Wenn Process ist ein fall von Death %n{nicht} und Entity ist ein fall von OrganismRemains %n{nicht} und AutonomousAgent ist ein fall von Organism %n{nicht} und entity ist ein teil von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} und entity ist ein teil von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und TimeInterval geschieht frueh als TimeInterval %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann Entity ist ein resultat von ** Process %n{nicht}
(=> (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	Wenn Process ist ein fall von Death %n{nicht} und Entity ist ein fall von OrganismRemains %n{nicht} und AutonomousAgent ist ein fall von Organism %n{nicht} und entity ist ein teil von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} und entity ist ein teil von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und TimeInterval geschieht frueh als TimeInterval %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann AutonomousAgent erfaehrt ** Process %n{nicht}
(=> (and (instance ?REM (DeadFn ?ORGTYPE)) (instance ?DEATH Death) (result ?DEATH ?REM) (experiencer ?DEATH ?ORG)) (instance ?ORG ?ORGTYPE))	Mid-level-ontology.kif 121-127	Wenn Entity ist ein fall von DeadFn OrganicObject %n{nicht} und Process ist ein fall von Death %n{nicht} und Entity ist ein resultat von Process %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann AutonomousAgent ist ein fall von OrganicObject %n{nicht}
(=> (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	Wenn Entity ist ein fall von OrganicObject %n{nicht} und Process ist ein fall von Death %n{nicht} und AutonomousAgent ist ein fall von Organism %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und Entity ist ein resultat von Process %n{nicht}, dann ** Entity ist ein fall von OrganismRemains %n{nicht}
(=> (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 129-137	Wenn Entity ist ein fall von OrganismRemains %n{nicht} und Process ist ein fall von Death %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgentTYPE %n{nicht} und AutonomousAgentTYPE ist eine teilkategorie von OrganicObject und Entity ist ein resultat von Process %n{nicht}, dann Entity ist ein fall von DeadFn AutonomousAgentTYPE %n{nicht}
(=> (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 280-296	Wenn ContentBearingPhysical ist ein fall von DeathCertificate %n{nicht} und Process ist ein fall von Death %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann containsFormula ContentBearingPhysical and es gibt ProcessAY, entity,, , entity, and und entityROC um deathdate AutonomousAgent and ProcessAY und ProcessAY ist ein fall von Day %n{nicht} und deathplace AutonomousAgent and entity und entity ist ein fall von GeographicArea %n{nicht} und entity drueckt AutonomousAgent aus und entity ist ein fall von Name %n{nicht} und entityROC verursacht Process %n{nicht} und entityROC ist ein fall von Process %n{nicht}

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	Year ist ein fall von das jahr YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and RealNumber
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn GeopoliticalArea und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich ** RealNumber %n{nicht}
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich RealNumber %n{nicht}
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und FemaleLifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and ** RealNumber
(<=> (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 ist ein fall von das jahr Integer %n{nicht} und LifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and ** RealNumber
(=> (and (instance ?A Anaphylaxis) (experiencer ?A ?H)) (modalAttribute (exists (?D) (and (instance ?D Death) (experiencer ?D ?H) (causes ?A ?D))) Possibility))	Medicine.kif 1545-1555	Wenn Process ist ein fall von Anaphylaxis %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von Death %n{nicht} und AutonomousAgent erfaehrt entity %n{nicht} und Process verursacht entity %n{nicht} hat die modale Kraft von Possibility
(=> (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 18679-18695	Wenn Transfer ist ein fall von Bequeathing %n{nicht} und Transfer ist der agent von AutonomousAgent %n{nicht} und Transfer endet an Entity %n{nicht} und objectTransferred Transfer and AutonomousAgentROP, dann es gibt Process um Process ist ein fall von Death %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von Transfer %n{nicht} und AutonomousAgent besitzt AutonomousAgentROP %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} und confersNorm AutonomousAgent, Entity besitzt ** AutonomousAgentROP %n{nicht} and Permission
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10197-10204	Wenn Process ist ein fall von Birth %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Process um Process ist ein fall von Death %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}
(=> (and (instance ?DISEASE LifeThreateningDisease) (attribute ?AGENT ?DISEASE)) (capability Death experiencer ?AGENT))	WMD.kif 1029-1033	Wenn Attribute ist ein fall von LifeThreateningDisease %n{nicht} und Attribute ist ein attribut von Object %n{nicht}, dann Object ist faehig %n{nicht}, in der Rolle experiencer Death zu tun
(=> (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 18621-18639	Wenn Process ist ein fall von Inheriting %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process beginnet an AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt Process um Process ist ein fall von Death %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und die zeit des Bestehens von Process geschieht frueh als die zeit des Bestehens von Process %n{nicht} und AutonomousAgent besitzt Entity %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von Process %n{nicht} und AutonomousAgent erlaubt CognitiveAgent, die Aufgabe der Art von CognitiveAgent besitzt Entity %n{nicht} durchzuf�hren %n{nicht}
(=> (and (instance ?KILL Killing) (patient ?KILL ?OBJ)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?OBJ) (causes ?KILL ?DEATH))))	Merge.kif 12313-12321	Wenn Process ist ein fall von Killing %n{nicht} und AutonomousAgent ist ein patient von Process %n{nicht}, dann es gibt Process um Process ist ein fall von Death %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und Process verursacht Process %n{nicht}
(=> (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 5997-6017	Wenn TimeInterval ist ein fall von TimePeriod %n{nicht} und dauer von TimeInterval ist RealNumber MinuteDuration(s) %n{nicht} und RealNumber ist groesserAls 5.0 %n{nicht} und Entity ist ein fall von Human %n{nicht} und es gibt nicht Process um Process ist ein fall von Breathing %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von Death %n{nicht} und Entity erfaehrt entity %n{nicht} und TimeInterval schliesst die zeit des Bestehens von entity zeitlich an hat die modale Kraft von Likely
(=> (deathdate ?P ?T) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (date ?D ?T))))	Mid-level-ontology.kif 24284-24290	Wenn deathdate Human and Day, dann es gibt Process um Process ist ein fall von Death %n{nicht} und Human erfaehrt Process %n{nicht} und datum von Process ist ** Day %n{nicht}
(=> (deathplace ?P ?L) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (eventLocated ?D ?L))))	Mid-level-ontology.kif 24300-24306	Wenn deathplace Animal and Object, dann es gibt Process um Process ist ein fall von Death %n{nicht} und Animal erfaehrt Process %n{nicht} und eventLocated Process and ** Object
(=> (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	Wenn diseaseMortality DiseaseOrSyndrome and RealNumber, dann Gesetzt den Fall, dass es gibt entity um entity ist ein fall von Death %n{nicht} und entity erfaehrt entity %n{nicht} gilt, ist die wahrscheinlichkeit von es gibt entity um entity ist ein fall von Organism %n{nicht} und DiseaseOrSyndrome ist ein attribut von entity %n{nicht} ** RealNumber
(=> (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 20568-20578	Wenn entity ist ein fall von IntensiveCareUnit %n{nicht} und stays entity and entity haelt waehrend TimePosition %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von Death %n{nicht} und die zeit des Bestehens von entity beendet TimePosition %n{nicht} hat die modale Kraft von Possibility
(=> (instance ?F Funeral) (exists (?D) (and (instance ?D Death) (refers ?F ?D))))	Mid-level-ontology.kif 16007-16012	Wenn Entity ist ein fall von Funeral %n{nicht}, dann es gibt Entity um Entity ist ein fall von Death %n{nicht} und Entity umfasst einen hinweis auf Entity
(=> (instance ?REM OrganismRemains) (exists (?DEATH) (and (instance ?DEATH Death) (result ?DEATH ?REM))))	Mid-level-ontology.kif 67-72	Wenn Entity ist ein fall von OrganismRemains %n{nicht}, dann es gibt Process um Process ist ein fall von Death %n{nicht} und Entity ist ein resultat von ** Process %n{nicht}
(=> (instance ?TEXT DeathCertificate) (hasPurpose ?TEXT (exists (?D ?A) (and (instance ?D Death) (instance ?A Human) (experiencer ?D ?A) (represents ?TEXT ?D)))))	Biography.kif 270-278	Wenn Physical ist ein fall von DeathCertificate %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Death %n{nicht} und entity ist ein fall von Human %n{nicht} und entity erfaehrt entity %n{nicht} und Physical drueckt entity aus %n{nicht}

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