Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - patient
patient

appearance as argument number 1
-------------------------


(instance patient CaseRole) Merge.kif 2528-2528 patient is an instance of case role
(instance patient PartialValuedRelation) Merge.kif 2529-2529 patient is an instance of partial valued relation
(domain patient 1 Process) Merge.kif 2530-2530 The number 1 argument of patient is an instance of process
(domain patient 2 Entity) Merge.kif 2531-2531 The number 2 argument of patient is an instance of entity
(subrelation patient involvedInEvent) Merge.kif 2532-2532 patient is a subrelation of involved in event
(documentation patient EnglishLanguage "(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 Process.") Merge.kif 2534-2541 patient is a subrelation of involved in event

appearance as argument number 2
-------------------------


(subrelation instrument patient) Merge.kif 2503-2503 instrument is a subrelation of patient
(subrelation resource patient) Merge.kif 2543-2543 resource is a subrelation of patient
(subrelation result patient) Merge.kif 2583-2583 result is a subrelation of patient
(subrelation objectTransferred patient) Merge.kif 11501-11501 object transferred is a subrelation of patient
(subrelation objectAttached patient) Merge.kif 12549-12549 attached is a subrelation of patient
(subrelation objectDetached patient) Merge.kif 12599-12599 detached is a subrelation of patient
(subrelation detainee patient) Mid-level-ontology.kif 7965-7965 detainee is a subrelation of patient
(subrelation targetInAttack patient) Mid-level-ontology.kif 7971-7971 target in attack is a subrelation of patient
(subrelation experimentalControl patient) Mid-level-ontology.kif 17249-17249 experimental control is a subrelation of patient
(subrelation victim patient) Mid-level-ontology.kif 17701-17701 victim is a subrelation of patient
(subrelation defendant patient) Mid-level-ontology.kif 17828-17828 defendant is a subrelation of patient
(subrelation controlled patient) Mid-level-ontology.kif 25805-25805 controlled is a subrelation of patient
(subrelation referee patient) ComputingBrands.kif 1678-1678 referee is a subrelation of patient
(subrelation plays patient) ComputingBrands.kif 1690-1690 plays is a subrelation of patient
(subrelation accountUsed patient) ComputingBrands.kif 4069-4069 account used is a subrelation of patient
(subrelation evidence patient) Law.kif 168-168 evidence is a subrelation of patient
(subrelation witness patient) Law.kif 208-208 witness is a subrelation of patient
(subrelation defenseLawyer patient) Law.kif 260-260 defense lawyer is a subrelation of patient
(subrelation dataProcessed patient) QoSontology.kif 2000-2000 data processed is a subrelation of patient
(subrelation resourceUsed patient) QoSontology.kif 2117-2117 resource used is a subrelation of patient
(termFormat EnglishLanguage patient "patient") domainEnglishFormat.kif 44789-44789 resource used is a subrelation of patient
(termFormat ChineseTraditionalLanguage patient "患者") domainEnglishFormat.kif 44790-44790 resource used is a subrelation of patient
(termFormat ChineseLanguage patient "患者") domainEnglishFormat.kif 44791-44791 resource used is a subrelation of patient
(format EnglishLanguage patient "%2 is %n a patient of %1") english_format.kif 168-168 resource used is a subrelation of patient

antecedent
-------------------------


(=>
    (and
        (instance ?PROCESS IntentionalProcess)
        (agent ?PROCESS ?AGENT)
        (instance ?AGENT CognitiveAgent)
        (patient ?PROCESS ?OBJECT))
    (inScopeOfInterest ?AGENT ?OBJECT))		 Merge.kif 2767-2773 If X is an instance of intentional process, Y is an agent of X, Y is an instance of cognitive agent, and Z is a patient of X, then Y is interested in Z
(=>
    (and
        (instance ?INJ Damaging)
        (instance ?ORGANISM Organism)
        (patient ?INJ ?ORGANISM))
    (instance ?INJ Injuring))		 Merge.kif 10607-10612 If X is an instance of damaging, Y is an instance of organism, and Y is a patient of X, then X is an instance of injuring
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?ORG Organization)
        (agent ?JOIN ?PERSON)
        (patient ?JOIN ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JOIN))
            (not
                (member ?PERSON ?ORG)))
        (holdsDuring
            (EndFn
                (WhenFn ?JOIN))
            (member ?PERSON ?ORG))))		 Merge.kif 10736-10744 If X is an instance of joining an organization, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z is not a member of Y holds during the beginning of the time of existence of X and Z is a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JOIN))
            (not
                (member ?PERSON ?ORG)))
        (holdsDuring
            (EndFn
                (WhenFn ?JOIN))
            (member ?PERSON ?ORG))))		 Merge.kif 10768-10776 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Z is not a member of Y holds during the beginning of the time of existence of X and Z is a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))		 Merge.kif 10778-10787 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during immediately after the time of existence of X
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (expects ?ORG
        (exists (?FT)
            (and
                (instance ?FT FinancialTransaction)
                (agent ?FT ?ORG)
                (destination ?FT ?PERSON)
                (earlier
                    (WhenFn ?JOIN)
                    (WhenFn ?FT))))))		 Merge.kif 10789-10801 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true
(=>
    (and
        (instance ?LEAVE LeavingAnOrganization)
        (instance ?ORG Organization)
        (agent ?LEAVE ?PERSON)
        (patient ?LEAVE ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEAVE))
            (member ?PERSON ?ORG))
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?PERSON ?ORG)))))		 Merge.kif 10809-10817 If X is an instance of leaving an organization, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z is a member of Y holds during the beginning of the time of existence of X and Z is not a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?LEAVE Quitting)
        (instance ?ORG Organization)
        (agent ?LEAVE ?PERSON)
        (patient ?LEAVE ?ORG))
    (desires ?PERSON
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?PERSON ?ORG)))))		 Merge.kif 10823-10833 If X is an instance of quitting, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z desires Z is not a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?LEAVE Firing)
        (instance ?ORG Organization)
        (agent ?LEAVE ?ORG)
        (patient ?LEAVE ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEAVE))
            (member ?P ?ORG))
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?P ?ORG)))))		 Merge.kif 10841-10849 If X is an instance of firing, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Z is a member of Y holds during the beginning of the time of existence of X and Z is not a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?HIRE Hiring)
        (instance ?ORG Organization)
        (agent ?HIRE ?ORG)
        (patient ?HIRE ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?HIRE))
            (not
                (employs ?ORG ?PERSON)))
        (holdsDuring
            (EndFn
                (WhenFn ?HIRE))
            (employs ?ORG ?PERSON))))		 Merge.kif 10882-10890 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y doesn't employ Z holds during the beginning of the time of existence of X and Y employs Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?FIRE TerminatingEmployment)
        (instance ?ORG Organization)
        (agent ?FIRE ?ORG)
        (patient ?FIRE ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?FIRE))
            (employs ?ORG ?PERSON))
        (holdsDuring
            (EndFn
                (WhenFn ?FIRE))
            (not
                (employs ?ORG ?PERSON)))))		 Merge.kif 10898-10906 If X is an instance of terminating employment, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during the beginning of the time of existence of X and Y doesn't employ Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?INTERPRET Interpreting)
        (agent ?INTERPRET ?AGENT)
        (patient ?INTERPRET ?CONTENT)
        (instance ?CONTENT ContentBearingObject))
    (exists (?PROP)
        (holdsDuring
            (EndFn
                (WhenFn ?INTERPRET))
            (believes ?AGENT
                (containsInformation ?CONTENT ?PROP)))))		 Merge.kif 11021-11028 If X is an instance of interpreting, Y is an agent of X, Z is a patient of X, and Z is an instance of content bearing object, then there exists W such that Y believes Z contains information W holds during the end of the time of existence of X
(=>
    (and
        (instance ?D QuantityChange)
        (patient ?D ?OBJ))
    (exists (?N1 ?N2 ?T1 ?T2 ?U)
        (and
            (earlier ?T1 ?T2)
            (holdsDuring ?T1
                (measure ?OBJ
                    (MeasureFn ?N1 ?U)))
            (holdsDuring ?T2
                (measure ?OBJ
                    (MeasureFn ?N2 ?U)))
            (not
                (equal ?N1 ?N2)))))		 Merge.kif 11036-11049 If X is an instance of quantity change and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and equal Z and W
(=>
    (and
        (instance ?D Increasing)
        (patient ?D ?OBJ))
    (exists (?N1 ?N2 ?T1 ?T2 ?U)
        (and
            (earlier ?T1 ?T2)
            (holdsDuring ?T1
                (measure ?OBJ
                    (MeasureFn ?N1 ?U)))
            (holdsDuring ?T2
                (measure ?OBJ
                    (MeasureFn ?N2 ?U)))
            (greaterThan ?N1 ?N2))))		 Merge.kif 11057-11070 If X is an instance of increasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is greater than W
(=>
    (and
        (instance ?HEAT Heating)
        (patient ?HEAT ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
        (and
            (instance ?UNIT TemperatureMeasure)
            (holdsDuring
                (BeginFn
                    (WhenFn ?HEAT))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
            (holdsDuring
                (EndFn
                    (WhenFn ?HEAT))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (greaterThan ?QUANT2 ?QUANT1))))		 Merge.kif 11078-11091 If X is an instance of heating and Y is a patient of X, then there exist Z, W and V such that Z is an instance of temperature measure and equal Y Z(s) and W holds during the beginning of the time of existence of X and equal Y Z(s) and V holds during the end of the time of existence of X and V is greater than W
(=>
    (and
        (instance ?D Decreasing)
        (patient ?D ?OBJ))
    (exists (?N1 ?N2 ?T1 ?T2 ?U)
        (and
            (earlier ?T1 ?T2)
            (holdsDuring ?T1
                (measure ?OBJ
                    (MeasureFn ?N1 ?U)))
            (holdsDuring ?T2
                (measure ?OBJ
                    (MeasureFn ?N2 ?U)))
            (lessThan ?N1 ?N2))))		 Merge.kif 11099-11112 If X is an instance of decreasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is less than W
(=>
    (and
        (instance ?COOL Cooling)
        (patient ?COOL ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
        (and
            (instance ?UNIT TemperatureMeasure)
            (holdsDuring
                (BeginFn
                    (WhenFn ?COOL))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
            (holdsDuring
                (EndFn
                    (WhenFn ?COOL))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (lessThan ?QUANT2 ?QUANT1))))		 Merge.kif 11119-11132 If X is an instance of cooling and Y is a patient of X, then there exist Z, W and V such that Z is an instance of temperature measure and equal Y Z(s) and W holds during the beginning of the time of existence of X and equal Y Z(s) and V holds during the end of the time of existence of X and V is less than W
(=>
    (and
        (instance ?MOTION LiquidMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Liquid))		 Merge.kif 11384-11388 If X is an instance of liquid motion and Y is a patient of X, then liquid is an attribute of Y
(=>
    (and
        (instance ?MOTION GasMotion)
        (patient ?MOTION ?OBJ))
    (attribute ?OBJ Gas))		 Merge.kif 11408-11412 If X is an instance of gas motion and Y is a patient of X, then gas is an attribute of Y
(=>
    (and
        (instance ?TRANSFER Transfer)
        (agent ?TRANSFER ?AGENT)
        (patient ?TRANSFER ?PATIENT))
    (not
        (equal ?AGENT ?PATIENT)))		 Merge.kif 11467-11473 If X is an instance of transfer, Y is an agent of X, and Z is a patient of X, then equal Y and Z
(=>
    (and
        (instance ?REMOVE Removing)
        (origin ?REMOVE ?PLACE)
        (patient ?REMOVE ?OBJ))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?REMOVE))
            (located ?OBJ ?PLACE))
        (holdsDuring
            (EndFn
                (WhenFn ?REMOVE))
            (not
                (located ?OBJ ?PLACE)))))		 Merge.kif 11554-11561 If X is an instance of removing, X originates at Y, and Z is a patient of X, then Z is located at Y holds during the beginning of the time of existence of X and Z is not located at Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?PUT Putting)
        (destination ?PUT ?PLACE)
        (patient ?PUT ?OBJ))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?PUT))
            (not
                (located ?OBJ ?PLACE)))
        (holdsDuring
            (EndFn
                (WhenFn ?PUT))
            (located ?OBJ ?PLACE))))		 Merge.kif 11575-11582 If X is an instance of putting, X ends up at Y, and Z is a patient of X, then Z is not located at Y holds during the beginning of the time of existence of X and Z is located at Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?INSERT Inserting)
        (patient ?INSERT ?OBJ1)
        (destination ?INSERT ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?INSERT))
            (not
                (contains ?OBJ2 ?OBJ1)))
        (holdsDuring
            (EndFn
                (WhenFn ?INSERT))
            (contains ?OBJ2 ?OBJ1))))		 Merge.kif 11594-11601 If X is an instance of inserting, Y is a patient of X, and X ends up at Z, then Z doesn't contain Y holds during the beginning of the time of existence of X and Z contains Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?TOUCH Touching)
        (agent ?TOUCH ?OBJ1)
        (patient ?TOUCH ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?TOUCH))
            (not
                (connected ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?TOUCH))
            (connected ?OBJ1 ?OBJ2))))		 Merge.kif 11655-11662 If X is an instance of touching, Y is an agent of X, and Z is a patient of X, then Y is not connected to Z holds during the beginning of the time of existence of X and Y is connected to Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?GRAB Grabbing)
        (agent ?GRAB ?AGENT)
        (patient ?GRAB ?THING))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?GRAB))
            (not
                (grasps ?AGENT ?THING)))
        (holdsDuring
            (EndFn
                (WhenFn ?GRAB))
            (grasps ?AGENT ?THING))))		 Merge.kif 11679-11686 If X is an instance of grabbing, Y is an agent of X, and Z is a patient of X, then Y doesn't grasp Z holds during the beginning of the time of existence of X and Y grasps Z holds during the end of the time of existence of X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (ingredient ?ING ?S)
    (exists (?PROC ?X ?Y)
        (and
            (instance ?PROC Process)
            (instance ?X ?ING)
            (patient ?PROC ?X)
            (instance ?Y ?S)
            (result ?PROC ?Y))))		 Merge.kif 1251-1259 If X is an ingredient in Y, then there exist Z, W, V such that Z is an instance of process, W is an instance of X, W is a patient of Z, V is an instance of Y, and V is a result of Z
(<=>
    (holdsDuring ?TIME
        (attribute ?AGENT LegalPersonhood))
    (holdsDuring ?TIME
        (or
            (capability LegalAction agent ?AGENT)
            (capability LegalAction patient ?AGENT))))		 Merge.kif 1635-1641 Legal personhood is an attribute of X holds during Y if and only if X is capable of doing legal action as a agent or X is capable of doing legal action as a patient holds during Y
(=>
    (instance ?PROCESS DualObjectProcess)
    (exists (?OBJ1 ?OBJ2)
        (and
            (patient ?PROCESS ?OBJ1)
            (patient ?PROCESS ?OBJ2)
            (not
                (equal ?OBJ1 ?OBJ2)))))		 Merge.kif 1672-1678 If X is an instance of dual object process, then there exist Y, Z such that Y is a patient of X, Z is a patient of X, equal Y, and Z
(=>
    (inScopeOfInterest ?AGENT ?OBJECT)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (agent ?PROCESS ?AGENT)
            (patient ?PROCESS ?OBJECT))))		 Merge.kif 2775-2781 If X is interested in Y, then there exists Z such that Z is an instance of intentional process, X is an agent of Z, and Y is a patient of Z
(=>
    (instance ?INJ Injuring)
    (exists (?STRUCT)
        (and
            (instance ?STRUCT AnatomicalStructure)
            (patient ?INJ ?STRUCT))))		 Merge.kif 10591-10596 If X is an instance of injuring, then there exists Y such that Y is an instance of anatomical structure and Y is a patient of X
(=>
    (instance ?INJ Injuring)
    (and
        (instance ?INJ Damaging)
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (patient ?INJ ?ORGANISM)))))		 Merge.kif 10598-10605 If X is an instance of injuring, then X is an instance of damaging and there exists Y such that Y is an instance of organism and Y is a patient of X
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))		 Merge.kif 10621-10628 If X is an instance of poisoning, then there exists Y such that Y is a patient of X and Y is an instance of organism or Y is an instance of anatomical structure
(=>
    (instance ?PROC PoliticalProcess)
    (exists (?POL)
        (and
            (or
                (instance ?POL Government)
                (exists (?GOV)
                    (and
                        (instance ?GOV Government)
                        (member ?POL ?GOV))))
            (or
                (agent ?PROC ?POL)
                (patient ?PROC ?POL)))))		 Merge.kif 10915-10927 If X is an instance of political process, then there exists Y such that Y is an instance of government, there exists Z such that Z is an instance of government, Y is a member of Z, and Y is an agent of X, or Y is a patient of X
(=>
    (changesLocation ?EVENT ?OBJ)
    (and
        (instance ?EVENT Translocation)
        (instance ?OBJ Object)
        (or
            (patient ?EVENT ?OBJ)
            (agent ?EVENT ?OBJ)
            (experiencer ?EVENT ?OBJ))))		 Merge.kif 11161-11169 If X is a changes location of Y, then Y is an instance of translocation, X is an instance of object, and At least one of the following holds: (1) X is a patient of Y (2) X is an agent of Y (3) X experiences Y
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))		 Merge.kif 11268-11274 If X is an instance of body motion and Y moves during X, then Y is an instance of body part and Y is a patient of X
(=>
    (instance ?PROCESS Precipitation)
    (exists (?STUFF)
        (and
            (instance ?STUFF Water)
            (patient ?PROCESS ?STUFF))))		 Merge.kif 11371-11376 If X is an instance of precipitation, then there exists Y such that Y is an instance of water and Y is a patient of X
(=>
    (instance ?MOTION WaterMotion)
    (exists (?WATER)
        (and
            (patient ?MOTION ?WATER)
            (instance ?WATER Water))))		 Merge.kif 11395-11400 If X is an instance of water motion, then there exists Y such that Y is a patient of X and Y is an instance of water
(=>
    (instance ?INJECT Injecting)
    (exists (?SUBSTANCE ?ANIMAL)
        (and
            (patient ?INJECT ?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (attribute ?SUBSTANCE Liquid)
            (destination ?INJECT ?ANIMAL)
            (instance ?ANIMAL Animal))))		 Merge.kif 11608-11616 If X is an instance of injecting, then there exist Y, Z such that Y is a patient of X, Y is an instance of biologically active substance, liquid is an attribute of Y, X ends up at Z, and Z is an instance of animal
(=>
    (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)))))		 Merge.kif 11624-11636 If X is an instance of substituting, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of putting (3) Z is an instance of removing (4) Y is a subprocess of X (5) Z is a subprocess of X (6) W is a patient of Z (7) Z originates at U (8) V is a patient of Y (9) Y ends up at U (10) equal W (11) V
(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))		 Merge.kif 11709-11717 If X is an instance of impacting and Y is a patient of X, then there exists Z such that Z is an instance of impelling, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X
(=>
    (instance ?DRIVE Driving)
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE Vehicle)
            (patient ?DRIVE ?VEHICLE))))		 Merge.kif 11789-11794 If X is an instance of driving, then there exists Y such that Y is an instance of vehicle and Y is a patient of X
(=>
    (and
        (instance ?EDUCATION EducationalProcess)
        (patient ?EDUCATION ?PERSON))
    (hasPurpose ?EDUCATION
        (exists (?LEARN)
            (and
                (instance ?LEARN Learning)
                (patient ?LEARN ?PERSON)))))		 Merge.kif 11801-11809 If X is an instance of educational process and Y is a patient of X, then X has the purpose there exists Z such that Z is an instance of learning and Y is a patient of Z
(=>
    (and
        (instance ?GIVE Giving)
        (agent ?GIVE ?AGENT1)
        (destination ?GIVE ?AGENT2)
        (instance ?AGENT2 AutonomousAgent)
        (patient ?GIVE ?OBJ))
    (exists (?GET)
        (and
            (instance ?GET Getting)
            (agent ?GET ?AGENT2)
            (origin ?GET ?AGENT1)
            (patient ?GET ?OBJ))))		 Merge.kif 11843-11855 If X is an instance of giving, Y is an agent of X, X ends up at Z, Z is an instance of agent, and W is a patient of X, then there exists V such that V is an instance of getting, Z is an agent of V, V originates at Y, and W is a patient of V
(=>
    (instance ?FUND Funding)
    (exists (?MONEY)
        (and
            (instance ?MONEY Currency)
            (patient ?FUND ?MONEY))))		 Merge.kif 11872-11877 If X is an instance of funding, then there exists Y such that Y is an instance of currency and Y is a patient of X
(=>
    (and
        (instance ?BORROW Borrowing)
        (agent ?BORROW ?AGENT1)
        (origin ?BORROW ?AGENT2)
        (patient ?BORROW ?OBJECT))
    (exists (?LEND)
        (and
            (instance ?LEND Lending)
            (agent ?LEND ?AGENT2)
            (destination ?LEND ?AGENT1)
            (patient ?LEND ?OBJECT))))		 Merge.kif 11901-11912 If X is an instance of borrowing, Y is an agent of X, X originates at Z, and W is a patient of X, then there exists V such that V is an instance of lending, Z is an agent of V, V ends up at Y, and W is a patient of V
(=>
    (and
        (instance ?LEND Lending)
        (agent ?LEND ?AGENT2)
        (destination ?LEND ?AGENT1)
        (patient ?LEND ?OBJECT))
    (exists (?BORROW)
        (and
            (instance ?BORROW Borrowing)
            (agent ?BORROW ?AGENT1)
            (origin ?BORROW ?AGENT2)
            (patient ?BORROW ?OBJECT))))		 Merge.kif 11914-11925 If X is an instance of lending, Y is an agent of X, X ends up at Z, and W is a patient of X, then there exists V such that V is an instance of borrowing, Z is an agent of V, V originates at Y, and W is a patient of V
(=>
    (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)))))		 Merge.kif 11985-12002 If X is an instance of transaction, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that W is an instance of giving (3) V is an instance of giving (4) W is a subprocess of X (5) V is a subprocess of X (6) Y is an agent of W (7) Z is an agent of V (8) U is a patient of W (9) T is a patient of V (10) W ends up at Z (11) V ends up at Y (12) equal Y (13) Z (14) equal U (15) T
(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))		 Merge.kif 12010-12015 If X is an instance of financial transaction, then there exists Y such that Y is a patient of X and Y is an instance of financial instrument
(=>
    (transactionAmount ?TRANS ?AMOUNT)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (monetaryValue ?OBJ ?AMOUNT))))		 Merge.kif 12027-12032 If X is a transaction amount of Y, then there exists Z such that Z is a patient of Y and value of Z is X
(=>
    (and
        (instance ?BUY Buying)
        (agent ?BUY ?AGENT1)
        (origin ?BUY ?AGENT2)
        (patient ?BUY ?OBJECT))
    (exists (?SELL)
        (and
            (instance ?SELL Selling)
            (agent ?SELL ?AGENT2)
            (destination ?SELL ?AGENT1)
            (patient ?SELL ?OBJECT))))		 Merge.kif 12075-12086 If X is an instance of buying, Y is an agent of X, X originates at Z, and W is a patient of X, then there exists V such that V is an instance of selling, Z is an agent of V, V ends up at Y, and W is a patient of V

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(decreasesLikelihood
    (exists (?X ?CUT ?PAPER ?CBO ?INFO)
        (and
            (instance ?X PaperShredder)
            (instance ?CUT Cutting)
            (instrument ?CUT ?X)
            (instance ?PAPER Paper)
            (patient ?CUT ?PAPER)
            (located ?CBO ?PAPER)
            (instance ?CBO VisualContentBearingObject)
            (containsInformation ?CBO ?INFO)))
    (exists (?READ)
        (and
            (instance ?READ Interpreting)
            (patient ?READ ?INFO)
            (earlier
                (WhenFn ?CUT)
                (WhenFn ?READ)))))		 Mid-level-ontology.kif 20112-20129 All of the following hold: (1) there exist ?X, ?CUT,, , ?PAPER,, , ?CBO (2) ?INFO such that ?X is an instance of paper shredder (3) ?CUT is an instance of cutting (4) ?X is an instrument for ?CUT (5) ?PAPER is an instance of paper (6) ?PAPER is a patient of ?CUT (7) ?CBO is located at ?PAPER (8) ?CBO is an instance of visual content bearing object (9) ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting (10) ?INFO is a patient of ?READ (11) the time of existence of ?CUT happens earlier than the time of existence of ?READ
(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))		 Medicine.kif 4542-4547 There exist X, Y such that X is an instance of disseminating, Netflix Corp. is an agent of X, Y is a patient of X, and Y is an instance of motion picture
(decreasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS)
        (instance ?SAMPLE ?SUBSTANCE)
        (instance ?THERAPY ?PROCESS)
        (experiencer ?THERAPY ?ORGANISM)
        (patient ?THERAPY ?SAMPLE))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 916-924 ?SYMPTOM is a biochemical agent syndrome of ?AGENT, ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS, ?SAMPLE is an instance of ?SUBSTANCE, ?THERAPY is an instance of ?PROCESS, ?ORGANISM experiences ?THERAPY, and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM


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