SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > CaseRole > patient
Next CaseRole: destination    Up: CaseRole    Previous CaseRole: path   

patient
subjectfact 
patientdocumentation (patient ?PROCESS ?ENTITY) means that ?ENTITY is a participant in ?PROCESS that may be moved, said, experienced, etc. For example, the direct objects in the sentences 'The cat swallowed the canary' and 'Billy likes the beer' would be examples of patients. Note that the patient of a Process may or may not undergo structural change as a result of the Process. The CaseRole of patient is used when one wants to specify as broadly as possible the object of a Process2001-11-30 13:34:56.0
has axiom 
(<=>
    (and
       (instance ?BUY Buying)
       (agent ?BUY ?AGENT1)
       (origin ?BUY ?AGENT2)
       (patient ?BUY ?OBJECT))
    (and 
       (instance ?SELL Selling)
       (agent ?SELL ?AGENT2)
       (destination ?SELL ?AGENT1)
       (patient ?SELL ?OBJECT)))
2001-11-30 13:34:56.0
has axiom 
(<=>
    (instance ?INJ Injuring)
    (and
       (instance ?INJ Damaging)
       (patient ?INJ Organism)))
2001-11-30 13:34:57.0
has axiom 
(<=>
    (instance ?PROCESS Creation)
    (exists (?PATIENT)
       (and 
          (patient ?PROCESS ?PATIENT)
          (existant ?PATIENT (ImmediateFutureFn(WhenFn ?PROCESS))) 
          (not 
             (existant ?PATIENT (ImmediatePastFn (WhenFn ?PROCESS)))))))
2001-11-30 13:34:57.0
has axiom 
(<=>
    (instance ?PROCESS Destruction)
    (exists (?PATIENT)
       (and 
          (patient ?PROCESS ?PATIENT)
          (existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) 
          (not 
             (existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))
2001-11-30 13:34:57.0
has axiom 
(=>
     (instance ?DISEASE MentalOrBehavioralDysfunction)
     (exists (?ANIMAL)
         (and
             (instance ?ANIMAL Animal)
             (patient ?DISEASE ?ANIMAL))))
2001-11-30 13:34:57.0
has axiom 
(=>
     (instance ?INJ Injuring)
     (exists (?STRUCT)
         (and
             (instance ?STRUCT AnatomicalStructure)
             (patient ?INJ ?STRUCT))))
2001-11-30 13:34:57.0
has axiom 
(=>
     (instance ?POISON Poisoning)
     (exists (?THING)
         (and
             (patient ?POISON ?THING)
             (or
                 (instance ?THING Organism)
                 (instance ?THING AnatomicalStructure)))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?ACT Drinking)
       (patient ?ACT ?FOOD))
    (attribute ?FOOD Liquid))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?ACT Eating)
       (patient ?ACT ?FOOD))
    (attribute ?FOOD Solid))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?ACT Ingesting)
       (patient ?ACT ?FOOD))
    (instance ?FOOD Food))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?ACT Surgery)
       (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
       (and
          (instance ?SUBACT Cutting)
          (instance ?ANIMAL Animal)
          (patient ?ANIMAL ?CUTTING)
          (subProcess ?SUBACT ?ACT))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?ALT ShapeAlteration)
       (patient ?ALT ?OBJ))
    (exists (?PROPERTY)
       (and
          (instance ?PROPERTY ShapeProperty)
          (or
             (and
                (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY))
                (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))))
             (and
                (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))
                (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)))))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?CHANGE ChangeOfPossession)
       (patient ?CHANGE ?OBJ)
       (holdsDuring (ImmediatePastFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ))
       (holdsDuring (ImmediateFutureFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ)))
    (not
       (equal ?AGENT1 ?AGENT2)))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?COLORING Coloring)
       (patient ?COLORING ?OBJ))
    (exists (?PROPERTY)
       (and
          (holdsDuring (ImmediatePastFn (WhenFn ?COLORING)) (attribute ?OBJ ?PROPERTY))
          (holdsDuring (ImmediateFutureFn (WhenFn ?COLORING)) (not (attribute ?OBJ ?PROPERTY))))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?COUNT Counting)
       (agent ?COUNT ?AGENT)
       (patient ?COUNT ?ENTITY))
    (exists (?NUMBER)
       (knows ?AGENT (equal (CardinalityFn ?ENTITY)))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?COVER Covering)
       (patient ?COVER ?OBJ))
    (exists (?CONCEAL ?PART)
       (and
          (instance ?CONCEAL Concealing)
          (subProcess ?CONCEAL ?COVER)
          (part ?PART ?OBJ)
          (patient ?CONCEAL ?PART))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?DECODE Decoding)
       (patient ?DECODE ?DOC1)) 
    (exists (?ENCODE ?DOC2)
       (and
          (containsInformation ?DOC2 ?PROP)
          (containsInformation ?DOC1 ?PROP)
          (holdsDuring ?TIME 
             (and 
                (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) 
                (instance ?ENCODE Encoding) 
                (patient ?ENCODE ?DOC2))))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?DECREASE Decreasing)
       (patient ?DECREASE ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
    	(and
          (holdsDuring (ImmediatePastFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1))
 	   (holdsDuring (ImmediateFutureFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2))
 	   (lessThan ?QUANT2 ?QUANT1))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?DRY Drying)
       (patient ?DRY ?OBJ))
    (holdsDuring (ImmediateFutureFn (WhenFn ?DRY))
       (or
          (attribute ?OBJ Anhydrous)
          (attribute ?OBJ Dry))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?GET Getting)
       (agent ?GET ?AGENT1)
       (origin ?GET ?AGENT2)
       (instance ?AGENT2 Agent)
       (patient ?GET ?OBJ))
    (exists (?GIVE)
       (and
          (instance ?GIVE Giving)
          (agent ?GIVE ?AGENT2)
          (destination ?GIVE ?AGENT1)
          (patient ?GIVE ?OBJ))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?GIVE Giving)
       (agent ?GIVE ?AGENT1)
       (destination ?GIVE ?AGENT2)
       (instance ?AGENT2 Agent)
       (patient ?GIVE ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ))
       (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?IMPACT Impacting)
       (instrument ?IMPACT ?INST)
       (patient ?IMPACT ?PLACE))
    (holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?INCREASE Increasing)
       (patient ?INCREASE ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
    	(and
          (holdsDuring (ImmediatePastFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1))
 	   (holdsDuring (ImmediateFutureFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2))
 	   (greaterThan ?QUANT2 ?QUANT1))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?INVESTIGATE Investigating)
       (patient ?INVESTIGATE ?PROP))
    (instance ?PROP Formula))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?INVESTIGATE Investigating)
       (agent ?INVESTIGATE ?AGENT)
       (patient ?INVESTIGATE ?PROP))
    (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?KILL Killing)
       (agent ?KILL ?AGENT)
       (patient ?KILL ?PATIENT))
    (and
       (instance ?AGENT Organism)
       (instance ?PATIENT Organism)))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?KILL Killing)
       (patient ?KILL ?PATIENT))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living))
       (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?MEAS Measuring)
       (agent ?MEAS ?AGENT)
       (patient ?MEAS ?OBJ))
    (exists (?QUANT ?UNIT)
       (holdsDuring (ImmediateFutureFn (WhenFn ?MEAS))
          (knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?MOTION Motion)
       (patient ?MOTION ?OBJ)
       (origin ?MOTION ?PLACE))
    (holdsDuring (ImmediatePastFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?MOTION Motion)
       (patient ?MOTION ?OBJ)
       (destination ?MOTION ?PLACE))
    (holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?POKE Poking)
       (agent ?POKE ?AGENT)
       (patient ?POKE ?OBJ)
       (instrument ?POKE ?INST))
    (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?PROC ShapeAlteration)
       (patient ?PROC ?OBJ))
    (attribute ?OBJ Pliable))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?PURSUE Pursuing)
       (agent ?PURSUE ?AGENT)
       (patient ?PURSUE ?OBJ))
    (wants ?AGENT ?OBJ))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?PUT Putting)
       (destination ?PUT ?PLACE)
       (patient ?PUT ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE)))
       (holdsDuring (ImmediateFutureFn (WhenFn ?PUT)) (located ?OBJ ?PLACE))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?REMOVE Removing)
       (origin ?REMOVE ?PLACE)
       (patient ?REMOVE ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE))
       (holdsDuring (ImmediateFutureFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE)))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?SEARCH Searching)
       (agent ?SEARCH ?AGENT)
       (patient ?SEARCH ?ENTITY))
    (inScopeOfInterest ?AGENT ?ENTITY))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?TOUCH Touching)
       (agent ?TOUCH ?AGENT)
       (patient ?TOUCH ?OBJ))
    (holdsDuring (WhenFn ?TOUCH) (connected ?AGENT ?OBJ)))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?TRANSFER Transfer)
       (agent ?TRANSFER ?AGENT)
       (patient ?TRANSFER ?PATIENT))
    (not
       (equal ?AGENT ?PATIENT)))
2001-11-30 13:34:57.0
has axiom 
(=>
    (and
       (instance ?WET Wetting)
       (patient ?WET ?OBJ))
    (holdsDuring (ImmediateFutureFn (WhenFn ?WET))
       (or
          (attribute ?OBJ Wet)
          (attribute ?OBJ Damp))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (holdsDuring ?TIME
       (exists (?LEARN)
          (and
             (instance ?LEARN Learning)
             (agent ?LEARN ?AGENT)
             (patient ?LEARN ?PROP))))
    (holdsDuring (ImmediateFutureFn ?TIME)
       (believes ?AGENT ?PROP)))
2001-11-30 13:34:57.0
has axiom 
(=>
    (instance ?ACTION Communication)
    (exists (?OBJ)
       (and
          (instance ?OBJ ContentBearingObject)
          (patient ?ACTION ?OBJ))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (instance ?MOTION BodyMotion)
    (exists (?OBJ)
       (and
          (instance ?OBJ BodyPart)
          (patient ?MOTION ?OBJ))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (instance ?SUB Substituting)
    (exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
       (and
          (instance ?PUT Putting)
          (instance ?REMOVE Removing)
          (subProcess ?PUT ?SUB)
          (subProcess ?REMOVE ?SUB)
          (patient ?REMOVE ?OBJ1)
          (origin ?REMOVE ?PLACE)
          (patient ?PUT ?OBJ2)
          (destination ?PUT PLACE)
          (not (equal ?OBJ1 ?OBJ2)))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (instance ?TRANS Transaction)
    (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
       (and
          (instance ?GIVE1 Giving)
          (instance ?GIVE2 Giving)
 	 (subProcess ?GIVE1 ?TRANS)
    	 (subProcess ?GIVE2 ?TRANS)
          (agent ?GIVE1 ?AGENT1)
          (agent ?GIVE2 ?AGENT2)
          (patient ?GIVE1 ?OBJ1)
          (patient ?GIVE2 ?OBJ2)
          (destination ?GIVE1 ?AGENT2)
          (destination ?GIVE2 ?AGENT1)
          (not
             (equal ?AGENT1 ?AGENT2))
          (not
             (equal ?OBJ1 ?OBJ2)))))
2001-11-30 13:34:57.0
has axiom 
(=>
    (possesses ?PERSON ?OBJ)
    (exists (?TYPE)
       (and
          (holdsRight ?PERSON ?TYPE)
          (forall (?PROCESS)
             (=>
                (instance ?PROCESS ?TYPE)
                (patient ?PROCESS ?OBJ))))))
2001-11-30 13:34:57.0
has domain1 Process2001-11-30 13:34:57.0
has domain2 Entity2001-11-30 13:34:57.0
is an instance of CaseRole2001-11-30 13:34:57.0
CaseRoleis second domain of capability2001-11-30 13:33:48.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next CaseRole: destination    Up: CaseRole    Previous CaseRole: path