(=>     (and         (holdsDuring ?T             (attribute ?H                 (ImpairedBodyPartFn ?P)))         (instance ?PI ?P)         (part ?PI ?H)         (hasPurpose ?PI ?F))     (modalAttribute         (not ?F) Likely))	Merge.kif 18304-18314	Wenn ImpairedBodyPartFn Class ist ein attribut von Object %n{nicht} haelt waehrend TimePosition %n{nicht} und ** ClassI ist ein fall von ** Class %n{nicht} und ** ClassI ist ein teil von ** Object %n{nicht} und ** ClassI hat Zweck von Formula %n{nicht}, dann die Aussage ** Formula hat die modale Kraft von Likely
(=>     (and         (holdsDuring ?T             (attribute ?H ?C))         (instance ?H ChronicDisease)         (duration ?T ?D))     (greaterThan ?D         (MeasureFn 3 MonthDuration)))	Mid-level-ontology.kif 5913-5920	Wenn entity ist ein attribut von ** Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} und ** ** Entity ist ein fall von ChronicDisease %n{nicht} und dauer von ** TimeInterval ist RealNumber %n{nicht}, dann ** RealNumber ist groesserAls 3 MonthDuration(s) %n{nicht}
(=>     (and         (holdsDuring ?T             (attribute ?H AVPUPainStatus))         (instance ?P Pain)         (during             (WhenFn ?P) ?T)         (experiencer ?P ?H))     (exists (?BM)         (and             (instance ?BM BodyMotion)             (experiencer ?BM ?H)             (during                 (WhenFn ?BM) ?T)             (causes ?P ?BM))))	Medicine.kif 6470-6482	Wenn AVPUPainStatus ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Process ist ein fall von Pain %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht} und ** AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt ** Process um ** ** Process ist ein fall von BodyMotion %n{nicht} und ** AutonomousAgent erfaehrt ** ** Process %n{nicht} und die zeit des Bestehens von ** ** Process geschieht waehrend ** TimeInterval %n{nicht} und ** Process verursacht ** ** Process %n{nicht}
(=>     (and         (holdsDuring ?T             (attribute ?H AVPUVerbalStatus))         (instance ?S Speaking)         (destination ?S ?H)         (during             (WhenFn ?S) ?T))     (exists (?IA)         (and             (instance ?IA IntentionalProcess)             (agent ?IA ?H)             (during                 (WhenFn ?IA) ?T)             (causes ?S ?IA))))	Medicine.kif 6447-6459	Wenn AVPUVerbalStatus ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Process ist ein fall von Speaking %n{nicht} und ** Process endet an ** AutonomousAgent %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht}, dann es gibt ** Process um ** ** Process ist ein fall von IntentionalProcess %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und die zeit des Bestehens von ** ** Process geschieht waehrend ** TimeInterval %n{nicht} und ** Process verursacht ** ** Process %n{nicht}
(=>     (and         (holdsDuring ?T             (attribute ?H ChronicFatigueSyndrome))         (instance ?R RecreationOrExercise)         (agent ?R ?H)         (during             (WhenFn ?R) ?T))     (modalAttribute         (and             (holdsDuring ?T2                 (attribute ?H PostExertionalMalaise))             (earlier                 (WhenFn ?R) ?T2)) Likely))	Medicine.kif 1500-1512	Wenn ChronicFatigueSyndrome ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Process ist ein fall von RecreationOrExercise %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht}, dann die Aussage PostExertionalMalaise ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend ** TimeInterval2 %n{nicht} und die zeit des Bestehens von ** Process geschieht frueh als ** TimeInterval2 %n{nicht} hat die modale Kraft von Likely
(=>     (and         (holdsDuring ?T             (attribute ?X Booting))         (holdsDuring ?T2             (attribute ?X HostReady))         (equal ?T2             (ImmediateFutureFn                 (WhenFn ?T)))         (instance ?DIS ComputerDisplay)         (connectedEngineeringComponents ?DIS ?X))     (modalAttribute         (exists (?HS)             (and                 (instance ?HS HomeScreen)                 (displayedUpon ?HS ?DIS))) Likely))	ComputingBrands.kif 3231-3245	Wenn Booting ist ein attribut von EngineeringComponent %n{nicht} haelt waehrend Physical %n{nicht} und HostReady ist ein attribut von ** EngineeringComponent %n{nicht} haelt waehrend ** Physical2 %n{nicht} und ** Physical2 ist gleich sofort nach die zeit des Bestehens von ** Physical %n{nicht} und ** EngineeringComponent ist ein fall von ComputerDisplay %n{nicht} und ** ** EngineeringComponent wird mit ** EngineeringComponent angeschlossen, dann die Aussage es gibt entity um ** entity ist ein fall von HomeScreen %n{nicht} und displayedUpon ** entity and ** ** EngineeringComponent hat die modale Kraft von Likely
(=>     (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	Wenn AutonomousAgent wuenscht Dead ist ein attribut von Entity %n{nicht} %n{nicht} haelt waehrend TimeInterval %n{nicht} und ** AutonomousAgentURDER ist ein fall von Murder %n{nicht} und ** AutonomousAgentURDER ist der agent von ** AutonomousAgent %n{nicht} und ** Entity ist ein patient von ** AutonomousAgentURDER %n{nicht} und ** TimeInterval geschieht frueh als die zeit des Bestehens von ** AutonomousAgentURDER %n{nicht}, dann Premeditated ist ein attribut von ** AutonomousAgentURDER %n{nicht}
(=>     (and         (holdsDuring ?T             (measure ?C ?S))         (engineIdleSpeed ?E ?S)         (instance ?A Automobile)         (part ?E ?A)         (part ?C ?E))     (modalAttribute         (not             (exists (?P ?GP)                 (and                     (during ?P ?T)                     (instance ?P Pushing)                     (destination ?P ?GP)                     (part ?GP ?A)))) Likely))	Cars.kif 2550-2566	Wenn das mass von Object ist FunctionQuantity %n{nicht} haelt waehrend TimePosition %n{nicht} und engineIdleSpeed InternalCombustionEngine and ** FunctionQuantity und ** Object ist ein fall von Automobile %n{nicht} und ** InternalCombustionEngine ist ein teil von ** ** Object %n{nicht} und ** Object ist ein teil von ** InternalCombustionEngine %n{nicht}, dann die Aussage es gibt nicht entity und ** entity um ** entity geschieht waehrend ** TimePosition %n{nicht} und ** entity ist ein fall von Pushing %n{nicht} und ** entity endet an ** ** entity %n{nicht} und ** ** entity ist ein teil von ** ** Object %n{nicht} hat die modale Kraft von Likely
(=>     (and         (holdsDuring ?T             (possesses ?PERSON ?OBJ))         (part ?P ?OBJ))     (holdsDuring ?T         (possesses ?PERSON ?P)))	Merge.kif 4258-4264	Wenn entity besitzt Object %n{nicht} haelt waehrend TimePosition %n{nicht} und ** Object ist ein teil von ** Object %n{nicht}, dann ** entity besitzt ** ** Object %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (holdsDuring ?T1             (and                 (attribute ?P Expellee)                 (citizen ?P ?HOME-NATION)))         (instance ?T1 TimeInterval))     (exists (?TRANS ?NATION)         (and             (instance ?NATION Nation)             (not                 (equal ?NATION ?HOME-NATION))             (instance ?TRANS Translocation)             (origin ?TRANS ?NATION)             (patient ?TRANS ?P)             (destination ?TRANS ?HOME-NATION)             (temporalPart ?T1                 (WhenFn ?TRANS)))))	MilitaryPersons.kif 151-167	Wenn Expellee ist ein attribut von Entity %n{nicht} und ** Entity ist der buerger von ** entity-NATION haelt waehrend TimePosition %n{nicht} und ** TimePosition ist ein fall von TimeInterval %n{nicht}, dann es gibt Process und Object um ** Object ist ein fall von Nation %n{nicht} und ** Object ist gleich ** ** entity-NATION nicht und ** Process ist ein fall von Translocation %n{nicht} und ** Process beginnet an ** Object %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** Process endet an ** ** entity-NATION %n{nicht} und ** TimePosition ist ein teil von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (holdsDuring ?T1             (and                 (attribute ?PERSON DislocatedCivilian)                 (inhabits ?PERSON ?RESIDENCE)                 (located ?RESIDENCE ?PLACE)))         (instance ?PLACE GeographicArea)         (instance ?T1 TimeInterval))     (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)         (and             (instance ?T0 TimeInterval)             (earlier ?T0 ?T1)             (instance ?PRIOR-RES Object)             (instance ?PRIOR-PLACE GeopoliticalArea)             (located ?PRIOR-RES ?PRIOR-PLACE)             (not                 (equal ?PLACE ?PRIOR-PLACE))             (not                 (equal ?RESIDENCE ?PRIOR-RES))             (not                 (geographicSubregion ?PLACE ?PRIOR-PLACE))             (not                 (geographicSubregion ?PRIOR-PLACE ?PLACE))             (holdsDuring ?T0                 (inhabits ?PERSON ?PRIOR-RES)))))	MilitaryPersons.kif 26-47	Wenn DislocatedCivilian ist ein attribut von entity %n{nicht} und ** entity wohnt in ** entity und ** ** entity befindet sich an %n{nicht} haelt waehrend TimeInterval %n{nicht} und GeographicArea ist ein fall von GeographicArea %n{nicht} und ** TimeInterval ist ein fall von TimeInterval %n{nicht}, dann es gibt ** TimeInterval, ** entity-PLACE, and und ** ** entity-RES um ** ** TimeInterval ist ein fall von TimeInterval %n{nicht} und ** ** TimeInterval geschieht frueh als ** TimeInterval %n{nicht} und ** ** entity-RES ist ein fall von Object %n{nicht} und ** ** entity-PLACE ist ein fall von GeopoliticalArea %n{nicht} und ** ** entity-RES befindet sich an %n{nicht} und ** GeographicArea ist gleich ** ** entity-PLACE nicht und ** ** entity ist gleich ** ** entity-RES nicht und geographicSubregion ** GeographicArea and ** ** entity-PLACE und geographicSubregion ** ** entity-PLACE and ** GeographicArea und ** entity wohnt in ** ** entity-RES haelt waehrend ** ** TimeInterval %n{nicht}
(=>     (and         (holdsDuring ?T1             (attribute ?F Menopausal))         (equal ?BEFORE             (SubtractionFn                 (MeasureFn 1 YearDuration)                 (BeginFn ?T1)))         (equal ?YBEFORE             (TimeIntervalFn ?YBEFORE                 (BeginFn ?T1))))     (not         (exists (?M)             (and                 (instance ?M Menstruation)                 (experiencer ?M ?F)))))	Mid-level-ontology.kif 23946-23960	Wenn Menopausal ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und RealNumber ist gleich (1 YearDuration(s) und der anfang von ** TimeInterval) %n{nicht} und ** TimeInterval ist gleich abstand zwischen ** ** TimeInterval und der anfang von ** TimeInterval %n{nicht}, dann es gibt nicht Process um ** Process ist ein fall von Menstruation %n{nicht} und ** AutonomousAgent erfaehrt ** Process %n{nicht}
(=>     (and         (holdsDuring ?T1             (attribute ?H Dieting))         (holdsDuring ?T2             (not                 (attribute ?H Dieting)))         (instance ?M1 Meal)         (instance ?E1 Eating)         (agent ?E1 ?H)         (resource ?E1 ?M1)         (during             (WhenFn ?E1) ?T1)         (measure ?M1             (MeasureFn ?C1 Calorie))         (instance ?M2 Meal)         (instance ?E2 Eating)         (agent ?E2 ?H)         (resource ?E2 ?M2)         (during             (WhenFn ?E2) ?T2)         (measure ?M2             (MeasureFn ?C2 Calorie)))     (modalAttribute         (greaterThan ?C2 ?C1) Likely))	Mid-level-ontology.kif 30686-30707	Wenn Dieting ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Dieting ist ein attribut von ** AutonomousAgent nicht haelt waehrend ** TimeInterval %n{nicht} und Object ist ein fall von Meal %n{nicht} und Process ist ein fall von Eating %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Object ist ein hilfmittel fuer ** Process %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht} und das mass von ** Object ist RealNumber Calorie(s) %n{nicht} und ** Object ist ein fall von Meal %n{nicht} und ** Process ist ein fall von Eating %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Object ist ein hilfmittel fuer ** ** Process %n{nicht} und die zeit des Bestehens von ** ** Process geschieht waehrend ** ** TimeInterval %n{nicht} und das mass von ** ** Object ist ** RealNumber Calorie(s) %n{nicht}, dann die Aussage ** ** RealNumber ist groesserAls ** RealNumber %n{nicht} hat die modale Kraft von Likely
(=>     (and         (holdsDuring ?T1             (attribute ?P Evacuee))         (instance ?T1 TimeInterval))     (exists (?EV ?MIL)         (and             (instance ?EV Evacuation)             (agent ?EV ?MIL)             (instance ?MIL MilitaryOrganization)             (experiencer ?EV ?P)             (earlier                 (WhenFn ?EV) ?T1))))	MilitaryPersons.kif 120-131	Wenn Evacuee ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und ** TimeInterval ist ein fall von TimeInterval %n{nicht}, dann es gibt Process und ** AutonomousAgent um ** Process ist ein fall von Evacuation %n{nicht} und ** Process ist der agent von ** ** AutonomousAgent %n{nicht} und ** ** AutonomousAgent ist ein fall von MilitaryOrganization %n{nicht} und ** AutonomousAgent erfaehrt ** Process %n{nicht} und die zeit des Bestehens von ** Process geschieht frueh als ** TimeInterval %n{nicht}
(=>     (and         (holdsDuring ?T1             (attribute ?P InternallyDisplacedPerson))         (instance ?T1 TimeInterval))     (exists (?SITUATION ?T0)         (and             (earlier ?T0 ?T1)             (causesProposition                 (holdsDuring ?T0                     (fears ?P ?SITUATION))                 (holdsDuring ?T1                     (attribute ?P InternallyDisplacedPerson))))))	MilitaryPersons.kif 101-111	Wenn InternallyDisplacedPerson ist ein attribut von entity %n{nicht} haelt waehrend TimeInterval %n{nicht} und ** TimeInterval ist ein fall von TimeInterval %n{nicht}, dann es gibt ** entity und ** TimeInterval um ** ** TimeInterval geschieht frueh als ** TimeInterval %n{nicht} und causesProposition fears ** entity and ** ** entity haelt waehrend ** ** TimeInterval %n{nicht} and InternallyDisplacedPerson ist ein attribut von ** entity %n{nicht} haelt waehrend ** TimeInterval %n{nicht}
(=>     (and         (holdsDuring ?T1             (attribute ?P StatelessPerson))         (instance ?NAT Nation))     (holdsDuring ?T1         (not             (citizen ?P ?NAT))))	MilitaryPersons.kif 195-201	Wenn StatelessPerson ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht} und ** Entity ist ein fall von Nation %n{nicht}, dann nicht ** entity ist der buerger von ** ** Entity haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (holdsDuring ?T1             (legalRelation ?A1 ?A2))         (instance ?A1 Organism)         (instance ?A2 Organism))     (holdsDuring ?T1         (relative ?A1 ?A2)))	Merge.kif 16395-16400	Wenn legalRelation Entity and ** Entity haelt waehrend TimePosition %n{nicht} und ** Entity ist ein fall von Organism %n{nicht} und ** ** Entity ist ein fall von Organism %n{nicht}, dann relative ** Entity and ** ** Entity haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (holdsDuring ?T1             (member ?OBJ ?GROUP))         (instance ?OBJ Human)         (instance ?GROUP GroupOfPeople))     (holdsDuring ?T1         (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 7589-7596	Wenn Entity ist ein Mitglied von ** Entity %n{nicht} haelt waehrend TimePosition %n{nicht} und ** Entity ist ein fall von Human %n{nicht} und ** ** Entity ist ein fall von GroupOfPeople %n{nicht}, dann groupMember ** Entity and ** ** Entity haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (holdsDuring ?T1             (publishes ?AGENT ?COMPCLASS))         (subclass ?COMPCLASS Book))     (holdsDuring ?T1         (attribute ?AGENT BookPublishers)))	Media.kif 1900-1904	Wenn entity veroeffentlicht Class haelt waehrend TimePosition %n{nicht} und ** Class ist eine teilkategorie von Book, dann BookPublishers ist ein attribut von ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (holdsDuring ?T1             (publishes ?AGENT ?COMPCLASS))         (subclass ?COMPCLASS MusicalComposition))     (holdsDuring ?T1         (attribute ?AGENT MusicPublishers)))	Media.kif 1888-1892	Wenn entity veroeffentlicht Class haelt waehrend TimePosition %n{nicht} und ** Class ist eine teilkategorie von MusicalComposition, dann MusicPublishers ist ein attribut von ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (holdsDuring ?T1             (publishes ?AGENT ?COMPCLASS))         (subclass ?COMPCLASS Newspaper))     (holdsDuring ?T1         (attribute ?AGENT NewspaperPublishers)))	Media.kif 1912-1916	Wenn entity veroeffentlicht Class haelt waehrend TimePosition %n{nicht} und ** Class ist eine teilkategorie von Newspaper, dann NewspaperPublishers ist ein attribut von ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (holdsDuring ?T1             (publishes ?AGENT ?COMPCLASS))         (subclass ?COMPCLASS Periodical))     (holdsDuring ?T1         (attribute ?AGENT PeriodicalPublishers)))	Media.kif 1906-1910	Wenn entity veroeffentlicht Class haelt waehrend TimePosition %n{nicht} und ** Class ist eine teilkategorie von Periodical, dann PeriodicalPublishers ist ein attribut von ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (holdsDuring ?T1             (publishes ?AGENT ?COMPCLASS))         (subclass ?COMPCLASS Text))     (holdsDuring ?T1         (attribute ?AGENT InformationIndustries)))	Media.kif 1894-1898	Wenn entity veroeffentlicht Class haelt waehrend TimePosition %n{nicht} und ** Class ist eine teilkategorie von Text, dann InformationIndustries ist ein attribut von ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (holdsDuring ?T1             (spouse ?P1 ?P2))         (instance ?T1 TimeInterval))     (exists (?WED)         (and             (instance ?WED Wedding)             (patient ?WED ?P1)             (patient ?WED ?P2)             (earlier                 (WhenFn ?WED) ?T1))))	Mid-level-ontology.kif 7999-8009	Wenn spouse Entity and ** Entity haelt waehrend TimeInterval %n{nicht} und ** TimeInterval ist ein fall von TimeInterval %n{nicht}, dann es gibt Process um ** Process ist ein fall von Wedding %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht} und ** ** Entity ist ein patient von ** Process %n{nicht} und die zeit des Bestehens von ** Process geschieht frueh als ** TimeInterval %n{nicht}
(=>     (and         (holdsDuring ?T2 ?SIT2)         (holdsDuring ?T1 ?SIT1)         (instance ?T1 TimeInterval)         (instance ?T2 TimeInterval)         (causesProposition ?SIT1 ?SIT2))     (beforeOrEqual         (BeginFn ?T1)         (BeginFn ?T2)))	Merge.kif 3837-3844	Wenn Formula haelt waehrend TimeInterval %n{nicht} und ** Formula haelt waehrend ** TimeInterval %n{nicht} und ** ** TimeInterval ist ein fall von TimeInterval %n{nicht} und ** TimeInterval ist ein fall von TimeInterval %n{nicht} und causesProposition ** ** Formula and ** Formula, dann der anfang von ** ** TimeInterval geschieht vor oder gleichzeitig mit der anfang von ** 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