(=>     (and         (instance ?C CausingHappiness)         (patient ?C ?P))     (and         (holdsDuring             (BeginFn                 (WhenFn ?C))             (not                 (attribute ?P Happiness)))         (holdsDuring             (EndFn                 (WhenFn ?C))             (attribute ?P Happiness))))	Mid-level-ontology.kif 23767-23778	Wenn Process ist ein fall von CausingHappiness %n{nicht} und Entity ist ein patient von ** Process %n{nicht}, dann Happiness ist ein attribut von ** Entity nicht haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und Happiness ist ein attribut von ** Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?C CausingUnhappiness)         (patient ?C ?P))     (and         (holdsDuring             (BeginFn                 (WhenFn ?C))             (not                 (attribute ?P Unhappiness)))         (holdsDuring             (EndFn                 (WhenFn ?C))             (attribute ?P Unhappiness))))	Mid-level-ontology.kif 23788-23799	Wenn Process ist ein fall von CausingUnhappiness %n{nicht} und Entity ist ein patient von ** Process %n{nicht}, dann Unhappiness ist ein attribut von ** Entity nicht haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und Unhappiness ist ein attribut von ** Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?C Cavitating)         (instance ?P Pump)         (attribute ?P DeviceOn)         (attribute ?L1 Liquid)         (contains ?P ?L1))     (exists (?PP ?L2)         (and             (part ?PP ?P)             (hasPurpose ?PP                 (and                     (attribute ?L2 Liquid)                     (meetsSpatially ?L2 ?PP)))             (holdsDuring                 (WhenFn ?C)                 (not                     (exists (?L3)                         (and                             (attribute ?L3 Liquid)                             (meetsSpatially ?PP ?L3))))))))	Cars.kif 1747-1767	Wenn Physical ist ein fall von Cavitating %n{nicht} und SelfConnectedObject ist ein fall von Pump %n{nicht} und DeviceOn ist ein attribut von ** SelfConnectedObject %n{nicht} und Liquid ist ein attribut von Object %n{nicht} und contains ** SelfConnectedObject and ** Object, dann es gibt ** SelfConnectedObjectP und entity um ** SelfConnectedObjectP ist ein teil von ** SelfConnectedObject %n{nicht} und ** SelfConnectedObjectP hat Zweck von Liquid ist ein attribut von ** entity %n{nicht} und ** entity schliesst ** SelfConnectedObjectP raeumlich an %n{nicht} und es gibt nicht ** entity um Liquid ist ein attribut von ** ** entity %n{nicht} und ** SelfConnectedObjectP schliesst ** ** entity raeumlich an haelt waehrend die zeit des Bestehens von ** Physical %n{nicht}
(=>     (and         (instance ?C CheckingVitals)         (agent ?C ?A)         (patient ?C ?P)         (instance ?H Heart)         (part ?H ?P)         (instance ?L Lung)         (part ?L ?P)         (holdsDuring             (WhenFn ?C)             (and                 (systolicBloodPressure ?P ?SYS)                 (diastolicBloodPressure ?P ?DIA)                 (measure ?P                     (MeasureFn ?T FahrenheitDegree))))         (heartRate ?H             (WhenFn ?C) ?I)         (breathingRate ?L             (WhenFn ?C) ?R))     (knows ?A         (and             (holdsDuring                 (WhenFn ?C)                 (and                     (systolicBloodPressure ?P ?SYS)                     (diastolicBloodPressure ?P ?DIA)                     (measure ?P                         (MeasureFn ?T FahrenheitDegree))))             (heartRate ?H                 (WhenFn ?C) ?I)             (breathingRate ?L                 (WhenFn ?C) ?R))))	Medicine.kif 6505-6529	Wenn Process ist ein fall von CheckingVitals %n{nicht} und ** Process ist der agent von CognitiveAgent %n{nicht} und Object ist ein patient von ** Process %n{nicht} und Heart ist ein fall von Heart %n{nicht} und ** Heart ist ein teil von ** Object %n{nicht} und Lung ist ein fall von Lung %n{nicht} und ** Lung ist ein teil von ** Object %n{nicht} und systolicBloodPressure ** Object and entity und diastolicBloodPressure ** Object and ** entity und das mass von ** Object ist ** entity FahrenheitDegree(s) %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht} und heartRate ** Heart, die zeit des Bestehens von ** Process and Integer und breathingRate ** Lung, die zeit des Bestehens von ** Process and ** Integer, dann ** CognitiveAgent kennt systolicBloodPressure ** Object and ** entity und diastolicBloodPressure ** Object and ** ** entity und das mass von ** Object ist ** ** entity FahrenheitDegree(s) %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht} und heartRate ** Heart, die zeit des Bestehens von ** Process and ** Integer und breathingRate ** Lung, die zeit des Bestehens von ** Process and ** ** Integer %n{nicht}
(=>     (and         (instance ?C Chills)         (experiencer ?C ?H))     (holdsDuring         (WhenFn ?C)         (attribute ?H FeelingCold)))	emotion.kif 1886-1892	Wenn Process ist ein fall von Chills %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann FeelingCold ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?C Choking)         (experiencer ?C ?H))     (exists (?O ?T ?L)         (and             (instance ?O Object)             (instance ?T Trachea)             (instance ?L Lung)             (part ?T ?H)             (part ?L ?H)             (holdsDuring                 (WhenFn ?C)                 (or                     (located ?O ?T)                     (located ?O ?L))))))	Mid-level-ontology.kif 11753-11768	Wenn Process ist ein fall von Choking %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann es gibt Entity, Object, and und ** Object um ** Entity ist ein fall von Object %n{nicht} und ** Object ist ein fall von Trachea %n{nicht} und ** ** Object ist ein fall von Lung %n{nicht} und ** Object ist ein teil von ** AutonomousAgent %n{nicht} und ** ** Object ist ein teil von ** AutonomousAgent %n{nicht} und ** Entity befindet sich an %n{nicht} oder ** Entity befindet sich an %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?C ChurningButter)         (instance ?E Emulsion)         (patient ?C ?E))     (exists (?M ?B)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?C))                 (and                     (equal ?E ?M)                     (instance ?M Milk)))             (holdsDuring                 (EndFn                     (WhenFn ?C))                 (and                     (equal ?E ?B)                     (instance ?B Butter))))))	Food.kif 3076-3094	Wenn Process ist ein fall von ChurningButter %n{nicht} und Entity ist ein fall von Emulsion %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht}, dann es gibt ** entity und ** entity um ** Entity ist gleich ** ** entity %n{nicht} und ** ** entity ist ein fall von Milk %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Entity ist gleich ** ** entity %n{nicht} und ** ** entity ist ein fall von Butter %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?C ComputerBackingUp)         (dataProcessed ?C ?DD)         (instance ?DD DigitalData)         (agent ?C ?A))     (desires ?A         (exists (?T)             (and                 (earlier                     (WhenFn ?C) ?T)                 (holdsDuring                     (?T)                     (exists (?PROC)                         (and                             (instance ?PROC ComputerProcess)                             (capability ?PROC dataProcessed ?DD))))))))	ComputingBrands.kif 3496-3510	Wenn ComputerProcess ist ein fall von ComputerBackingUp %n{nicht} und dataProcessed ** ComputerProcess and DigitalData und ** DigitalData ist ein fall von DigitalData %n{nicht} und ** ComputerProcess ist der agent von CognitiveAgent %n{nicht}, dann ** CognitiveAgent wuenscht es gibt entity um die zeit des Bestehens von ** ComputerProcess geschieht frueh als ** entity %n{nicht} und es gibt ** entity um ** ** entity ist ein fall von ComputerProcess %n{nicht} und ** DigitalData ist faehig %n{nicht}, in der Rolle dataProcessed ** ** entity zu tun haelt waehrend ** entity %n{nicht} %n{nicht}
(=>     (and         (instance ?C Convoy)         (member ?VEH ?C))     (exists (?DRIVE)         (and             (instance ?DRIVE Driving)             (overlapsTemporally                 (WhenFn ?DRIVE)                 (WhenFn ?C))             (patient ?DRIVE ?VEH))))	Mid-level-ontology.kif 22347-22355	Wenn Collection ist ein fall von Convoy %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht}, dann es gibt Process um ** Process ist ein fall von Driving %n{nicht} und die zeit des Bestehens von ** Collection deckt sich mit die zeit des Bestehens von ** Process %n{nicht} und ** Physical ist ein patient von ** Process %n{nicht}
(=>     (and         (instance ?C Coughing)         (experiencer ?C ?H))     (hasPurpose ?C         (exists (?R ?L ?O ?T)             (and                 (instance ?L Lung)                 (instance ?T Throat)                 (instance ?O Object)                 (instance ?R Removing)                 (part ?L ?H)                 (part ?T ?H)                 (objectTransferred ?R ?O)                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?C))                     (or                         (located ?O ?T)                         (located ?O ?L)))))))	Mid-level-ontology.kif 6055-6074	Wenn Process ist ein fall von Coughing %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann ** Process hat Zweck von es gibt entity, ** entity,, , ** entity, and und ** entity um ** ** entity ist ein fall von Lung %n{nicht} und ** ** entity ist ein fall von Throat %n{nicht} und ** ** entity ist ein fall von Object %n{nicht} und ** entity ist ein fall von Removing %n{nicht} und ** ** entity ist ein teil von ** AutonomousAgent %n{nicht} und ** ** entity ist ein teil von ** AutonomousAgent %n{nicht} und objectTransferred ** entity and ** ** entity und ** ** entity befindet sich an %n{nicht} oder ** ** entity befindet sich an %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von ** Process %n{nicht} %n{nicht}
(=>     (and         (instance ?C Covering)         (patient ?C ?P)         (instrument ?C ?I))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?C))         (covers ?I ?P)))	Mid-level-ontology.kif 29746-29753	Wenn Process ist ein fall von Covering %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}, dann covers ** Object and ** Entity haelt waehrend sofort nach die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?C Cricothyroidotomy)         (patient ?C ?O))     (hasPurpose ?C         (and             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?C))                 (exists (?B)                     (and                         (instance ?B                             (ImpairmentFn Breathing))                         (patient ?B ?O))))             (not                 (holdsDuring                     (ImmediateFutureFn                         (WhenFn ?C))                     (exists (?B)                         (and                             (instance ?B                                 (ImpairmentFn Breathing))                             (patient ?B ?O))))))))	Medicine.kif 767-785	Wenn Process ist ein fall von Cricothyroidotomy %n{nicht} und Entity ist ein patient von ** Process %n{nicht}, dann ** Process hat Zweck von es gibt ** entity um ** ** entity ist ein fall von ImpairmentFn Breathing %n{nicht} und ** Entity ist ein patient von ** ** entity %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von ** Process %n{nicht} und es gibt ** ** entity um ** ** entity ist ein fall von ImpairmentFn Breathing %n{nicht} und ** Entity ist ein patient von ** ** entity %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von ** Process nicht %n{nicht}
(=>     (and         (instance ?C Cricothyroidotomy)         (patient ?C ?O))     (holdsDuring         (EndFn             (WhenFn ?C))         (exists (?H)             (and                 (instance ?H HoleRegion)                 (equal ?T                     (HoleHostFn ?H))                 (instance ?T Throat)                 (part ?T ?O)))))	Medicine.kif 754-765	Wenn Process ist ein fall von Cricothyroidotomy %n{nicht} und Entity ist ein patient von ** Process %n{nicht}, dann es gibt ** entity um ** ** entity ist ein fall von HoleRegion %n{nicht} und ** entity ist gleich HoleHostFn ** ** entity %n{nicht} und ** ** entity ist ein fall von Throat %n{nicht} und ** ** entity ist ein teil von ** Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?C Crying)         (experiencer ?C ?H))     (holdsDuring         (WhenFn ?C)         (attribute ?H Sadness)))	emotion.kif 1141-1147	Wenn Process ist ein fall von Crying %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann Sadness ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?C CurdlingMilk)         (instance ?M Milk)         (patient ?C ?M))     (exists (?PH ?D ?H ?L)         (and             (measure ?M                 (MeasureFn ?PH PHValue))             (instance ?D Decreasing)             (subProcess ?D ?C)             (patient ?D ?PH)             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (equal ?PH ?H)                 (approximateValue ?H 6.5))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (equal ?PH ?L)                 (approximateValue ?L 4.5)))))	Food.kif 3226-3247	Wenn Process ist ein fall von CurdlingMilk %n{nicht} und Physical ist ein fall von Milk %n{nicht} und ** Physical ist ein patient von ** Process %n{nicht}, dann es gibt RealNumber, ** Process,, , entity, and und ** entity um das mass von ** Physical ist ** RealNumber PHValue(s) %n{nicht} und ** ** Process ist ein fall von Decreasing %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** RealNumber ist ein patient von ** ** Process %n{nicht} und ** RealNumber ist gleich ** entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** ** Process %n{nicht} und ** RealNumber ist gleich ** ** entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** ** Process %n{nicht}
(=>     (and         (instance ?C Sneezing)         (experiencer ?C ?H))     (hasPurpose ?C         (exists (?R ?N ?NOSE ?O)             (and                 (instance ?N NasalCavity)                 (instance ?NOSE Nose)                 (equal ?NOSE                     (HoleHostFn ?N))                 (instance ?O Object)                 (instance ?R Removing)                 (part ?NOSE ?H)                 (objectTransferred ?R ?O)                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?C))                     (located ?O ?N))))))	Mid-level-ontology.kif 6121-6139	Wenn Process ist ein fall von Sneezing %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}, dann ** Process hat Zweck von es gibt entity, ** entity,, , ** ** entityOSE, and und ** entity um ** ** entity ist ein fall von NasalCavity %n{nicht} und ** ** entityOSE ist ein fall von Nose %n{nicht} und ** ** entityOSE ist gleich HoleHostFn ** ** entity %n{nicht} und ** ** entity ist ein fall von Object %n{nicht} und ** entity ist ein fall von Removing %n{nicht} und ** ** entityOSE ist ein teil von ** AutonomousAgent %n{nicht} und objectTransferred ** entity and ** ** entity und ** ** entity befindet sich an %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von ** Process %n{nicht} %n{nicht}
(=>     (and         (instance ?CATCH Catching)         (agent ?CATCH ?AGENT)         (patient ?CATCH ?BALL))     (holdsDuring         (EndFn             (WhenFn ?CATCH))         (grasps ?AGENT ?BALL)))	Mid-level-ontology.kif 17111-17116	Wenn Process ist ein fall von Catching %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von ** Process %n{nicht}, dann grasps ** AutonomousAgent and ** Entity haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?CHANGE ChangeOfPossession)         (origin ?CHANGE ?AGENT1)         (destination ?CHANGE ?AGENT2)         (instance ?AGENT1 AutonomousAgent)         (instance ?AGENT2 AutonomousAgent)         (patient ?CHANGE ?OBJ))     (and         (holdsDuring             (BeginFn                 (WhenFn ?CHANGE))             (possesses ?AGENT1 ?OBJ))         (holdsDuring             (EndFn                 (WhenFn ?CHANGE))             (possesses ?AGENT2 ?OBJ))))	Merge.kif 11678-11688	Wenn Process ist ein fall von ChangeOfPossession %n{nicht} und ** Process beginnet an Object %n{nicht} und ** Process endet an Entity %n{nicht} und ** Object ist ein fall von AutonomousAgent %n{nicht} und ** Entity ist ein fall von AutonomousAgent %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht}, dann ** Object besitzt ** ** Entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Entity besitzt ** ** Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?CHANGE InternalChange)         (patient ?CHANGE ?OBJ))     (exists (?PROPERTY)         (or             (and                 (holdsDuring                     (BeginFn                         (WhenFn ?CHANGE))                     (attribute ?OBJ ?PROPERTY))                 (holdsDuring                     (EndFn                         (WhenFn ?CHANGE))                     (not                         (attribute ?OBJ ?PROPERTY))))             (and                 (holdsDuring                     (BeginFn                         (WhenFn ?CHANGE))                     (not                         (attribute ?OBJ ?PROPERTY)))                 (holdsDuring                     (EndFn                         (WhenFn ?CHANGE))                     (attribute ?OBJ ?PROPERTY))))))	Merge.kif 12621-12632	Wenn Process ist ein fall von InternalChange %n{nicht} und Entity ist ein patient von ** Process %n{nicht}, dann es gibt ** entity um ** ** entity ist ein attribut von ** Entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** ** entity ist ein attribut von ** Entity nicht haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} oder ** ** entity ist ein attribut von ** Entity nicht haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** ** entity ist ein attribut von ** Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?CHECKIN CheckInService)         (causes ?CHECKIN ?SERVICE)         (instance ?CHECKOUT CheckOutService))     (finishes         (WhenFn ?CHECKOUT)         (WhenFn ?SERVICE)))	Hotel.kif 2196-2203	Wenn Process ist ein fall von CheckInService %n{nicht} und ** Process verursacht ** Process %n{nicht} und Physical ist ein fall von CheckOutService %n{nicht}, dann die zeit des Bestehens von ** Physical beendet die zeit des Bestehens von ** ** Process %n{nicht}
(=>     (and         (instance ?CLOSE ClosingGraphicalWindow)         (patient ?CLOSE ?WINDOW))     (and         (instance ?WINDOW InterfaceWindow)         (time ?WINDOW             (BeginFn                 (WhenFn ?OPEN)))         (not             (time ?WINDOW                 (EndFn                     (WhenFn ?OPEN))))))	ComputerInput.kif 2438-2445	Wenn Process ist ein fall von ClosingGraphicalWindow %n{nicht} und Physical ist ein patient von ** Process %n{nicht}, dann ** Physical ist ein fall von InterfaceWindow %n{nicht} und ** Physical besteht waehrend der anfang von die zeit des Bestehens von ** Physical %n{nicht} und ** Physical besteht waehrend das ende von die zeit des Bestehens von ** ** Physical nicht
(=>     (and         (instance ?COLORING Coloring)         (patient ?COLORING ?OBJ))     (exists (?PROPERTY ?PART)         (and             (part ?PART ?OBJ)             (instance ?PROPERTY ColorAttribute)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?COLORING))                         (attribute ?PART ?PROPERTY))                     (holdsDuring                         (EndFn                             (WhenFn ?COLORING))                         (not                             (attribute ?PART ?PROPERTY))))                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?COLORING))                         (not                             (attribute ?PART ?PROPERTY)))                     (holdsDuring                         (EndFn                             (WhenFn ?COLORING))                         (attribute ?PART ?PROPERTY)))))))	Merge.kif 12658-12672	Wenn Process ist ein fall von Coloring %n{nicht} und Object ist ein patient von ** Process %n{nicht}, dann es gibt Entity und ** Object um ** ** Object ist ein teil von ** Object %n{nicht} und ** Entity ist ein fall von ColorAttribute %n{nicht} und ** Entity ist ein attribut von ** ** Object %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Entity ist ein attribut von ** ** Object nicht haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} oder ** Entity ist ein attribut von ** ** Object nicht haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und ** Entity ist ein attribut von ** ** Object %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?COMM LinguisticCommunication)         (agent ?COMM ?AGENT)         (patient ?COMM ?SENTENCE)         (instance ?SENTENCE Sentence))     (holdsDuring         (WhenFn ?COMM)         (states ?AGENT ?SENTENCE)))	Media.kif 1836-1842	Wenn Process ist ein fall von LinguisticCommunication %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Entity ist ein fall von Sentence %n{nicht}, dann states ** AutonomousAgent and ** Entity haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?COND Condensing)         (patient ?COND ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?COND))                 (attribute ?PART Gas))             (holdsDuring                 (EndFn                     (WhenFn ?COND))                 (attribute ?PART Liquid)))))	Merge.kif 14001-14009	Wenn Process ist ein fall von Condensing %n{nicht} und Object ist ein patient von ** Process %n{nicht}, dann es gibt ** Object um ** ** Object ist ein teil von ** Object %n{nicht} und Gas ist ein attribut von ** ** Object %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und Liquid ist ein attribut von ** ** Object %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (instance ?CONDUCT MusicalConducting)         (agent ?CONDUCT ?AGENT))     (holdsDuring         (WhenFn ?CONDUCT)         (attribute ?AGENT MusicalConductor)))	Media.kif 1867-1871	Wenn Process ist ein fall von MusicalConducting %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht}, dann MusicalConductor ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %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