(=>     (and         (instance ?I Infecting)         (experiencer ?I ?H))     (exists (?T ?R ?O)         (and             (instance ?T Translocation)             (moves ?T ?O)             (instance ?O Organism)             (instance ?R Replication)             (experiencer ?R ?O)             (subProcess ?T ?I)             (subProcess ?R ?I))))	Mid-level-ontology.kif 5846-5858	Wenn Process ist ein fall von Infecting %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt Motion, ** Process, and und ** AutonomousAgent um ** Motion ist ein fall von Translocation %n{nicht} und moves ** Motion and ** ** AutonomousAgent und ** ** AutonomousAgent ist ein fall von Organism %n{nicht} und ** ** Process ist ein fall von Replication %n{nicht} und ** ** AutonomousAgent erfaehrt ** ** Process %n{nicht} und ** Motion ist ein subProzess von ** Process und ** ** Process ist ein subProzess von ** Process
(=>     (and         (instance ?I Ingesting)         (experiencer ?I ?H)         (objectTransferred ?I ?D)         (instance ?D ?DC)         (pathologicSideEffect ?DC ?DIS))     (modalAttribute         (exists (?P)             (and                 (instance ?P ?DIS)                 (experiencer ?H ?P))) Likely))	WMD.kif 1563-1575	Wenn Transfer ist ein fall von Ingesting %n{nicht} und AutonomousAgent erfaehrt ** Transfer %n{nicht} und objectTransferred ** Transfer and Object und ** Object ist ein fall von ** ObjectC %n{nicht} und pathologicSideEffect ** ObjectC and ** ObjectIS, dann die Aussage es gibt entity um ** entity ist ein fall von ** ObjectIS %n{nicht} und ** entity erfaehrt ** AutonomousAgent %n{nicht} hat die modale Kraft von Likely
(=>     (and         (instance ?I Ingesting)         (experiencer ?I ?H)         (objectTransferred ?I ?D)         (instance ?D ?DC)         (sideEffect ?DC ?DIS))     (modalAttribute         (attribute ?H ?DIS) Likely))	WMD.kif 1545-1554	Wenn Transfer ist ein fall von Ingesting %n{nicht} und AutonomousAgent erfaehrt ** Transfer %n{nicht} und objectTransferred ** Transfer and Object und ** Object ist ein fall von ** ObjectC %n{nicht} und sideEffect ** ObjectC and ** ObjectIS, dann die Aussage ** ObjectIS ist ein attribut von ** AutonomousAgent %n{nicht} hat die modale Kraft von Likely
(=>     (and         (instance ?I Ingesting)         (experiencer ?I ?H)         (objectTransferred ?I ?MS)         (instance ?MS MoodStabilizer)         (instance ?E ?EC)         (involvedInEvent ?E ?H)         (holdsDuring             (WhenFn ?E)             (attribute ?H ?ES))         (instance ?ES EmotionalState)         (instance ?E2 ?EC)         (involvedInEvent ?E2 ?H)         (earlier             (WhenFn ?E2)             (WhenFn ?I)))     (modalAttribute         (not             (holdsDuring ?E2                 (attribute ?H ?ES))) Unlikely))	Mid-level-ontology.kif 9773-9794	Wenn Transfer ist ein fall von Ingesting %n{nicht} und AutonomousAgent erfaehrt ** Transfer %n{nicht} und objectTransferred ** Transfer and Object und ** Object ist ein fall von MoodStabilizer %n{nicht} und Process ist ein fall von ** ProcessC %n{nicht} und involvedInEvent ** Process and ** AutonomousAgent und ** ProcessS ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht} und ** ProcessS ist ein fall von EmotionalState %n{nicht} und ** Process2 ist ein fall von ** ProcessC %n{nicht} und involvedInEvent ** Process2 and ** AutonomousAgent und die zeit des Bestehens von ** Process2 geschieht frueh als die zeit des Bestehens von ** Transfer %n{nicht}, dann die Aussage ** ProcessS ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend ** Process2 nicht hat die modale Kraft von Unlikely
(=>     (and         (instance ?I Injuring)         (experiencer ?I ?A))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?I))         (attribute ?A Injury)))	Medicine.kif 104-111	Wenn Process ist ein fall von Injuring %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann Injury ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?I Insomnia)         (experiencer ?I ?H))     (exists (?S ?D ?D2)         (and             (instance ?S Sleeping)             (experiencer ?S ?H)             (duration                 (WhenFn ?S) ?D)             (desires ?H                 (and                     (duration                         (WhenFn ?S) ?D2)                     (greaterThan ?D2 ?D))))))	Mid-level-ontology.kif 16446-16458	Wenn Process ist ein fall von Insomnia %n{nicht} und CognitiveAgent erfaehrt ** Process %n{nicht}, dann es gibt ** Process, TimeDuration, and und ** TimeDuration2 um ** ** Process ist ein fall von Sleeping %n{nicht} und ** CognitiveAgent erfaehrt ** ** Process %n{nicht} und dauer von die zeit des Bestehens von ** ** Process ist ** TimeDuration %n{nicht} und ** CognitiveAgent wuenscht dauer von die zeit des Bestehens von ** ** Process ist ** TimeDuration2 %n{nicht} und ** TimeDuration2 ist groesserAls ** TimeDuration %n{nicht} %n{nicht}
(=>     (and         (instance ?I Intubation)         (instance ?T Tube)         (objectTransferred ?I ?T)         (experiencer ?I ?H))     (exists (?TH)         (and             (instance ?TH Trachea)             (part ?TH ?H)             (destination ?I ?TH))))	Medicine.kif 4135-4145	Wenn Transfer ist ein fall von Intubation %n{nicht} und Object ist ein fall von Tube %n{nicht} und objectTransferred ** Transfer and ** Object und AutonomousAgent erfaehrt ** Transfer %n{nicht}, dann es gibt ** ObjectH um ** ObjectH ist ein fall von Trachea %n{nicht} und ** ObjectH ist ein teil von ** AutonomousAgent %n{nicht} und ** Transfer endet an ** ObjectH %n{nicht}
(=>     (and         (instance ?I Intubation)         (instance ?T Tube)         (objectTransferred ?I ?T)         (experiencer ?I ?H))     (hasPurpose ?I         (exists (?B)             (and                 (instance ?B Breathing)                 (instrument ?B ?T)))))	Medicine.kif 4123-4133	Wenn Transfer ist ein fall von Intubation %n{nicht} und Object ist ein fall von Tube %n{nicht} und objectTransferred ** Transfer and ** Object und AutonomousAgent erfaehrt ** Transfer %n{nicht}, dann ** Transfer hat Zweck von es gibt entity um ** entity ist ein fall von Breathing %n{nicht} und ** Object ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=>     (and         (instance ?I Itching)         (located ?I ?P)         (part ?P ?H)         (experiencer ?I ?H))     (desires ?H         (exists (?S)             (and                 (instance ?S Scratching)                 (during                     (WhenFn ?S)                     (WhenFn ?I))                 (located ?S ?P)))))	Mid-level-ontology.kif 5724-5735	Wenn Process ist ein fall von Itching %n{nicht} und ** Process befindet sich an %n{nicht} und Object ist ein teil von CognitiveAgent %n{nicht} und ** CognitiveAgent erfaehrt ** Process %n{nicht}, dann ** CognitiveAgent wuenscht es gibt entity um ** entity ist ein fall von Scratching %n{nicht} und die zeit des Bestehens von ** entity geschieht waehrend die zeit des Bestehens von ** Process %n{nicht} und ** entity befindet sich an %n{nicht} %n{nicht}
(=>     (and         (instance ?IBD AddisonsDisease)         (experiencer ?IBD ?H))     (attribute ?H         (ImpairedBodyPartFn AdrenalGland)))	Medicine.kif 2316-2321	Wenn Process ist ein fall von AddisonsDisease %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann ImpairedBodyPartFn AdrenalGland ist ein attribut von ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?IBD GravesDisease)         (experiencer ?IBD ?H))     (attribute ?H         (ImpairedBodyPartFn ThyroidGland)))	Medicine.kif 2329-2334	Wenn Process ist ein fall von GravesDisease %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann ImpairedBodyPartFn ThyroidGland ist ein attribut von ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?IBD GravesDisease)         (experiencer ?IBD ?H1)         (instance ?H1 Human)         (instance ?T1 ThyroidHormone)         (part ?T1 ?H1)         (measure ?T1             (MeasureFn ?N1 ?U))         (instance ?H2 Human)         (instance ?T2 ThyroidHormone)         (part ?T2 ?H2)         (measure ?T2             (MeasureFn ?N2 ?U))         (attribute ?H2 Healthy))     (greaterThan ?N1 ?N2))	Medicine.kif 2336-2351	Wenn Process ist ein fall von GravesDisease %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht} und ** AutonomousAgent ist ein fall von Human %n{nicht} und Object ist ein fall von ThyroidHormone %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und das mass von ** Object ist RealNumber UnitOfMeasure(s) %n{nicht} und ** Object ist ein fall von Human %n{nicht} und ** Object ist ein fall von ThyroidHormone %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und das mass von ** ** Object ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und Healthy ist ein attribut von ** ** Object %n{nicht}, dann ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
(=>     (and         (instance ?IBD HashimotosThyroiditis)         (experiencer ?IBD ?H))     (attribute ?H         (ImpairedBodyPartFn ThyroidGland)))	Medicine.kif 2375-2380	Wenn Process ist ein fall von HashimotosThyroiditis %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann ImpairedBodyPartFn ThyroidGland ist ein attribut von ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?IBD HashimotosThyroiditis)         (experiencer ?IBD ?H1)         (instance ?H1 Human)         (instance ?T1 ThyroidHormone)         (part ?T1 ?H1)         (measure ?T1             (MeasureFn ?N1 ?U))         (instance ?H2 Human)         (instance ?T2 ThyroidHormone)         (part ?T2 ?H2)         (measure ?T2             (MeasureFn ?N2 ?U))         (attribute ?H2 Healthy))     (greaterThan ?N2 ?N1))	Medicine.kif 2382-2397	Wenn Process ist ein fall von HashimotosThyroiditis %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht} und ** AutonomousAgent ist ein fall von Human %n{nicht} und Object ist ein fall von ThyroidHormone %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und das mass von ** Object ist RealNumber UnitOfMeasure(s) %n{nicht} und ** Object ist ein fall von Human %n{nicht} und ** Object ist ein fall von ThyroidHormone %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und das mass von ** ** Object ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und Healthy ist ein attribut von ** ** Object %n{nicht}, dann ** ** RealNumber ist groesserAls ** RealNumber %n{nicht}
(=>     (and         (instance ?IBD InflammatoryBowelDisease)         (experiencer ?IBD ?H))     (attribute ?H         (ImpairedBodyPartFn GastroIntestinalTract)))	Medicine.kif 2282-2287	Wenn Process ist ein fall von InflammatoryBowelDisease %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann ImpairedBodyPartFn GastroIntestinalTract ist ein attribut von ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?IBD UlcerativeColitis)         (experiencer ?IBD ?H))     (or         (attribute ?H             (ImpairedBodyPartFn LargeIntestine))         (attribute ?H             (ImpairedBodyPartFn Rectum))))	Medicine.kif 2301-2309	Wenn Process ist ein fall von UlcerativeColitis %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann ImpairedBodyPartFn LargeIntestine ist ein attribut von ** AutonomousAgent %n{nicht} oder ImpairedBodyPartFn Rectum ist ein attribut von ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?IV InvasiveVentilator)         (instance ?B Breathing)         (experiencer ?B ?H)         (instrument ?B ?IV))     (exists (?IN)         (and             (instance ?IN Intubation)             (destination ?IN ?H)             (earlier                 (WhenFn ?IN)                 (WhenFn ?B)))))	Medicine.kif 4105-4117	Wenn Object ist ein fall von InvasiveVentilator %n{nicht} und Process ist ein fall von Breathing %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht}, dann es gibt ** Process um ** ** Process ist ein fall von Intubation %n{nicht} und ** ** Process endet an ** AutonomousAgent %n{nicht} und die zeit des Bestehens von ** ** Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?L LayingEggs)         (experiencer ?L ?A))     (and         (instance ?A Animal)         (attribute ?A Female)))	Mid-level-ontology.kif 24130-24136	Wenn Process ist ein fall von LayingEggs %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann ** AutonomousAgent ist ein fall von Animal %n{nicht} und Female ist ein attribut von ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?L LayingEggs)         (experiencer ?L ?A))     (exists (?E)         (and             (instance ?E Egg)             (patient ?L ?E)             (holdsDuring                 (BeginFn                     (WhenFn ?L))                 (part ?E ?A))             (holdsDuring                 (EndFn                     (WhenFn ?L))                 (not                     (part ?E ?A))))))	Mid-level-ontology.kif 24115-24128	Wenn Process ist ein fall von LayingEggs %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt Entity um ** Entity ist ein fall von Egg %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** Entity ist ein teil von ** AutonomousAgent %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Entity ist ein teil von ** AutonomousAgent nicht haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?L LosingConsciousness)         (experiencer ?L ?A))     (and         (holdsDuring             (BeginFn                 (WhenFn ?L))             (attribute ?A Awake))         (holdsDuring             (EndFn                 (WhenFn ?L))             (attribute ?A Unconscious))))	Mid-level-ontology.kif 16483-16493	Wenn Process ist ein fall von LosingConsciousness %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann Awake ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und Unconscious ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?L Lupus)         (experiencer ?L ?H))     (modalAttribute         (exists (?SR)             (and                 (instance ?SR SkinRash)                 (experiencer ?SR ?H))) Likely))	Medicine.kif 2265-2274	Wenn Process ist ein fall von Lupus %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann die Aussage es gibt entity um ** entity ist ein fall von SkinRash %n{nicht} und ** AutonomousAgent erfaehrt ** entity %n{nicht} hat die modale Kraft von Likely
(=>     (and         (instance ?M Menstruation)         (experiencer ?M ?F))     (and         (attribute ?F Female)         (not             (attribute ?F Menopausal))))	Mid-level-ontology.kif 23879-23886	Wenn Process ist ein fall von Menstruation %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann Female ist ein attribut von ** AutonomousAgent %n{nicht} und Menopausal ist ein attribut von ** AutonomousAgent nicht
(=>     (and         (instance ?MR MusclesRelaxing)         (experiencer ?MR ?A))     (not         (exists (?MT)             (and                 (overlapsTemporally ?MT ?MR)                 (instance ?MT MusclesBecomingTense)                 (experiencer ?MT ?A)))))	emotion.kif 1464-1473	Wenn TimeInterval ist ein fall von MusclesRelaxing %n{nicht} und AutonomousAgent erfaehrt ** TimeInterval %n{nicht}, dann es gibt nicht ** TimeInterval um ** TimeInterval deckt sich mit ** ** TimeInterval %n{nicht} und ** ** TimeInterval ist ein fall von MusclesBecomingTense %n{nicht} und ** AutonomousAgent erfaehrt ** ** TimeInterval %n{nicht}
(=>     (and         (instance ?MS MultipleSclerosis)         (experiencer ?MS ?H))     (attribute ?H         (ImpairedBodyPartFn NervousSystem)))	Medicine.kif 2251-2256	Wenn Process ist ein fall von MultipleSclerosis %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann ImpairedBodyPartFn NervousSystem ist ein attribut von ** AutonomousAgent %n{nicht}
(=>     (and         (instance ?MT MusclesBecomingTense)         (experiencer ?MT ?A))     (not         (exists (?MR)             (and                 (overlapsTemporally ?MR ?MT)                 (instance ?MR MusclesRelaxing)                 (experiencer ?MR ?A)))))	emotion.kif 1450-1459	Wenn TimeInterval ist ein fall von MusclesBecomingTense %n{nicht} und AutonomousAgent erfaehrt ** TimeInterval %n{nicht}, dann es gibt nicht ** TimeInterval um ** TimeInterval deckt sich mit ** ** TimeInterval %n{nicht} und ** ** TimeInterval ist ein fall von MusclesRelaxing %n{nicht} und ** AutonomousAgent erfaehrt ** ** TimeInterval %n{nicht}
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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