Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| patient |
| appearance as argument number 1 |
|
| s__instance(s__patient,s__CaseRole)
|
Merge.kif 2601-2601 | patient is an instance of case role |
| s__instance(s__patient,s__PartialValuedRelation)
|
Merge.kif 2602-2602 | patient is an instance of partial valued relation |
| s__domain(s__patient,n__1,s__Process)
|
Merge.kif 2603-2603 | The number 1 argument of patient is an instance of process |
| s__domain(s__patient,n__2,s__Entity)
|
Merge.kif 2604-2604 | The number 2 argument of patient is an instance of entity |
| s__subrelation(s__patient,s__involvedInEvent)
|
Merge.kif 2605-2605 | patient is a subrelation of involved in event |
| s__documentation(s__patient, s__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 2607-2614 | patient is a subrelation of involved in event |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__PROCESS,V__AGENT,V__OBJECT] : (((s__instance(V__PROCESS,s__IntentionalProcess) & s__agent(V__PROCESS,V__AGENT) & s__instance(V__AGENT,s__CognitiveAgent) & s__patient(V__PROCESS,V__OBJECT)) => s__inScopeOfInterest(V__AGENT,V__OBJECT)) )
|
Merge.kif 2841-2847 | 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 |
| ! [V__INJ,V__ORGANISM] : (((s__instance(V__INJ,s__Damaging) & s__instance(V__ORGANISM,s__Organism) & s__patient(V__INJ,V__ORGANISM)) => s__instance(V__INJ,s__Injuring)) )
|
Merge.kif 10694-10699 | 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 |
| ! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__JoiningAnOrganization) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__PERSON) & s__patient(V__JOIN, V__ORG)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__JOIN)), ~(s__member(V__PERSON, V__ORG))) & s__holdsDuring(s__EndFn(s__WhenFn(V__JOIN)), s__member(V__PERSON, V__ORG))))) | Merge.kif 10824-10832 | 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 |
| ! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__ORG) & s__patient(V__JOIN, V__PERSON)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__JOIN)), ~(s__member(V__PERSON, V__ORG))) & s__holdsDuring(s__EndFn(s__WhenFn(V__JOIN)), s__member(V__PERSON, V__ORG))))) | Merge.kif 10857-10865 | 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 |
| ! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__ORG) & s__patient(V__JOIN, V__PERSON)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__JOIN)), s__employs(V__ORG, V__PERSON)))) | Merge.kif 10867-10876 | 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 |
| ! [V__JOIN : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__JOIN, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__JOIN, V__ORG) & s__patient(V__JOIN, V__PERSON)) => s__expects(V__ORG, ( ? [V__FT:$i] : ((s__instance(V__FT, s__FinancialTransaction) & s__agent(V__FT, V__ORG) & s__destination(V__FT, V__PERSON) & s__earlier(s__WhenFn(V__JOIN), s__WhenFn(V__FT)))))))) | Merge.kif 10878-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 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 |
| ! [V__LEAVE : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__LEAVE, s__LeavingAnOrganization) & s__instance(V__ORG, s__Organization) & s__agent(V__LEAVE, V__PERSON) & s__patient(V__LEAVE, V__ORG)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__LEAVE)), s__member(V__PERSON, V__ORG)) & s__holdsDuring(s__EndFn(s__WhenFn(V__LEAVE)), ~(s__member(V__PERSON, V__ORG)))))) | Merge.kif 10898-10906 | 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 |
| ! [V__LEAVE : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__LEAVE, s__Quitting) & s__instance(V__ORG, s__Organization) & s__agent(V__LEAVE, V__PERSON) & s__patient(V__LEAVE, V__ORG)) => s__desires(V__PERSON, s__holdsDuring(s__EndFn(s__WhenFn(V__LEAVE)), ~(s__member(V__PERSON, V__ORG)))))) | Merge.kif 10912-10922 | 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 |
| ! [V__LEAVE : $i,V__ORG : $i,V__P : $i] : (((s__instance(V__LEAVE, s__Firing) & s__instance(V__ORG, s__Organization) & s__agent(V__LEAVE, V__ORG) & s__patient(V__LEAVE, V__P)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__LEAVE)), s__member(V__P, V__ORG)) & s__holdsDuring(s__EndFn(s__WhenFn(V__LEAVE)), ~(s__member(V__P, V__ORG)))))) | Merge.kif 10930-10938 | 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 |
| ! [V__HIRE : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__HIRE, s__Hiring) & s__instance(V__ORG, s__Organization) & s__agent(V__HIRE, V__ORG) & s__patient(V__HIRE, V__PERSON)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__HIRE)), ~(s__employs(V__ORG, V__PERSON))) & s__holdsDuring(s__EndFn(s__WhenFn(V__HIRE)), s__employs(V__ORG, V__PERSON))))) | Merge.kif 10971-10979 | 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 |
| ! [V__FIRE : $i,V__ORG : $i,V__PERSON : $i] : (((s__instance(V__FIRE, s__TerminatingEmployment) & s__instance(V__ORG, s__Organization) & s__agent(V__FIRE, V__ORG) & s__patient(V__FIRE, V__PERSON)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__FIRE)), s__employs(V__ORG, V__PERSON)) & s__holdsDuring(s__EndFn(s__WhenFn(V__FIRE)), ~(s__employs(V__ORG, V__PERSON)))))) | Merge.kif 10987-10995 | 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 |
| ! [V__AGENT : $i,V__CONTENT : $i,V__INTERPRET : $i] : (((s__instance(V__INTERPRET, s__Interpreting) & s__agent(V__INTERPRET, V__AGENT) & s__patient(V__INTERPRET, V__CONTENT) & s__instance(V__CONTENT, s__ContentBearingObject)) => ( ? [V__PROP:$i] : (s__holdsDuring(s__EndFn(s__WhenFn(V__INTERPRET)), s__believes(V__AGENT, s__containsInformation(V__CONTENT, V__PROP))))))) | Merge.kif 11110-11122 | 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 |
| ! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__QuantityChange) & s__patient(V__D, V__OBJ)) => ( ? [V__N1:$real, V__N2:$real, V__T1:$i, V__T2:$i, V__U:$i] : ((s__earlier(V__T1, V__T2) & s__holdsDuring(V__T1, s__measure(V__OBJ, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(V__T2, s__measure(V__OBJ, s__MeasureFn(V__N2, V__U))) & ~(V__N1 = V__N2)))))) | Merge.kif 11130-11143 | 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 |
| ! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__Increasing) & s__patient(V__D, V__OBJ)) => ( ? [V__N1:$real, V__N2:$real, V__T1:$i, V__T2:$i, V__U:$i] : ((s__earlier(V__T1, V__T2) & s__holdsDuring(V__T1, s__measure(V__OBJ, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(V__T2, s__measure(V__OBJ, s__MeasureFn(V__N2, V__U))) & ($greater(V__N1,V__N2))))))) | Merge.kif 11151-11164 | 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 |
| ! [V__HEAT : $i,V__OBJ : $real] : (((s__instance(V__HEAT, s__Heating) & s__patient(V__HEAT, V__OBJ)) => ( ? [V__UNIT:$i, V__QUANT1:$real, V__QUANT2:$real] : ((s__instance(V__UNIT, s__TemperatureMeasure) & s__holdsDuring(s__BeginFn(s__WhenFn(V__HEAT)), s__MeasureFn(V__OBJ, V__UNIT) = V__QUANT1) & s__holdsDuring(s__EndFn(s__WhenFn(V__HEAT)), s__MeasureFn(V__OBJ, V__UNIT) = V__QUANT2) & ($greater(V__QUANT2,V__QUANT1))))))) | Merge.kif 11172-11185 | 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 |
| ! [V__D : $i,V__OBJ : $i] : (((s__instance(V__D, s__Decreasing) & s__patient(V__D, V__OBJ)) => ( ? [V__N1:$real, V__N2:$real, V__T1:$i, V__T2:$i, V__U:$i] : ((s__earlier(V__T1, V__T2) & s__holdsDuring(V__T1, s__measure(V__OBJ, s__MeasureFn(V__N1, V__U))) & s__holdsDuring(V__T2, s__measure(V__OBJ, s__MeasureFn(V__N2, V__U))) & ($less(V__N1,V__N2))))))) | Merge.kif 11193-11206 | 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 |
| ! [V__COOL : $i,V__OBJ : $real] : (((s__instance(V__COOL, s__Cooling) & s__patient(V__COOL, V__OBJ)) => ( ? [V__UNIT:$i, V__QUANT1:$real, V__QUANT2:$real] : ((s__instance(V__UNIT, s__TemperatureMeasure) & s__holdsDuring(s__BeginFn(s__WhenFn(V__COOL)), s__MeasureFn(V__OBJ, V__UNIT) = V__QUANT1) & s__holdsDuring(s__EndFn(s__WhenFn(V__COOL)), s__MeasureFn(V__OBJ, V__UNIT) = V__QUANT2) & ($less(V__QUANT2,V__QUANT1))))))) | Merge.kif 11213-11226 | 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 |
| ! [V__OBJ,V__MOTION] : ((s__instance(V__OBJ,s__Object) => ((s__instance(V__MOTION,s__LiquidMotion) & s__patient(V__MOTION,V__OBJ)) => s__attribute(V__OBJ,s__Liquid))) )
|
Merge.kif 11478-11482 | If X is an instance of liquid motion and Y is a patient of X, then liquid is an attribute of Y |
| ! [V__OBJ,V__MOTION] : ((s__instance(V__OBJ,s__Object) => ((s__instance(V__MOTION,s__GasMotion) & s__patient(V__MOTION,V__OBJ)) => s__attribute(V__OBJ,s__Gas))) )
|
Merge.kif 11502-11506 | If X is an instance of gas motion and Y is a patient of X, then gas is an attribute of Y |
| ! [V__AGENT,V__TRANSFER,V__PATIENT] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__instance(V__TRANSFER,s__Transfer) & s__agent(V__TRANSFER,V__AGENT) & s__patient(V__TRANSFER,V__PATIENT)) => ~((V__AGENT = V__PATIENT)))) )
|
Merge.kif 11578-11584 | 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 |
| ! [V__OBJ : $i,V__PLACE : $i,V__REMOVE : $i] : (((s__instance(V__REMOVE, s__Removing) & s__origin(V__REMOVE, V__PLACE) & s__patient(V__REMOVE, V__OBJ)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__REMOVE)), s__located(V__OBJ, V__PLACE)) & s__holdsDuring(s__EndFn(s__WhenFn(V__REMOVE)), ~(s__located(V__OBJ, V__PLACE)))))) | Merge.kif 11660-11667 | 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 |
| ! [V__OBJ : $i,V__PLACE : $i,V__PUT : $i] : (((s__instance(V__PUT, s__Putting) & s__destination(V__PUT, V__PLACE) & s__patient(V__PUT, V__OBJ)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__PUT)), ~(s__located(V__OBJ, V__PLACE))) & s__holdsDuring(s__EndFn(s__WhenFn(V__PUT)), s__located(V__OBJ, V__PLACE))))) | Merge.kif 11681-11688 | 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 |
| ! [V__INSERT : $i,V__OBJ1 : $i,V__OBJ2 : $i] : (((s__instance(V__INSERT, s__Inserting) & s__patient(V__INSERT, V__OBJ1) & s__destination(V__INSERT, V__OBJ2)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__INSERT)), ~(s__contains(V__OBJ2, V__OBJ1))) & s__holdsDuring(s__EndFn(s__WhenFn(V__INSERT)), s__contains(V__OBJ2, V__OBJ1))))) | Merge.kif 11700-11707 | 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 |
| ! [V__OBJ1 : $i,V__OBJ2 : $i,V__TOUCH : $i] : (((s__instance(V__TOUCH, s__Touching) & s__agent(V__TOUCH, V__OBJ1) & s__patient(V__TOUCH, V__OBJ2)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__TOUCH)), ~(s__connected(V__OBJ1, V__OBJ2))) & s__holdsDuring(s__EndFn(s__WhenFn(V__TOUCH)), s__connected(V__OBJ1, V__OBJ2))))) | Merge.kif 11761-11768 | 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 |
| ! [V__AGENT : $i,V__GRAB : $i,V__THING : $i] : (((s__instance(V__GRAB, s__Grabbing) & s__agent(V__GRAB, V__AGENT) & s__patient(V__GRAB, V__THING)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__GRAB)), ~(s__grasps(V__AGENT, V__THING))) & s__holdsDuring(s__EndFn(s__WhenFn(V__GRAB)), s__grasps(V__AGENT, V__THING))))) | Merge.kif 11785-11792 | 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 |
|
|
| ! [V__ING,V__S] : (((s__instance(V__ING,s__Class) & s__subclass(V__ING,s__Substance) & s__instance(V__S,s__Class) & s__instance(V__S,s__CorpuscularObject)) => (s__ingredient(V__ING,V__S) => (? [V__PROC,V__X,V__Y] : ((s__instance(V__PROC,s__Process) & s__instance(V__X,V__ING) & s__patient(V__PROC,V__X) & s__instance(V__Y,V__S) & s__result(V__PROC,V__Y)))))) )
|
Merge.kif 1289-1297 | 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 |
| ! [V__AGENT : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__LegalPersonhood)) => s__holdsDuring(V__TIME, (s__capability(s__LegalAction, s__agent, V__AGENT) | s__capability(s__LegalAction, s__patient, V__AGENT)))) & (s__holdsDuring(V__TIME, (s__capability(s__LegalAction, s__agent, V__AGENT) | s__capability(s__LegalAction, s__patient, V__AGENT))) => s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__LegalPersonhood))))) | Merge.kif 1695-1701 | 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 |
| ! [V__PROCESS] : ((s__instance(V__PROCESS,s__DualObjectProcess) => (? [V__OBJ1,V__OBJ2] : ((s__patient(V__PROCESS,V__OBJ1) & s__patient(V__PROCESS,V__OBJ2) & ~((V__OBJ1 = V__OBJ2)))))) )
|
Merge.kif 1731-1737 | 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 |
| ! [V__AGENT,V__OBJECT] : ((s__instance(V__AGENT,s__CognitiveAgent) => (s__inScopeOfInterest(V__AGENT,V__OBJECT) => (? [V__PROCESS] : ((s__instance(V__PROCESS,s__IntentionalProcess) & s__agent(V__PROCESS,V__AGENT) & s__patient(V__PROCESS,V__OBJECT)))))) )
|
Merge.kif 2849-2855 | 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 |
| ! [V__C] : ((s__instance(V__C,s__Consuming) => (? [V__O,V__D] : ((s__patient(V__C,V__O) & s__instance(V__O,s__Object) & s__resource(V__C,V__O) & s__subProcess(V__D,V__C) & s__instance(V__D,s__Decreasing) & s__patient(V__D,V__O) & s__causes(V__C,V__D))))) )
|
Merge.kif 10487-10497 | If X is an instance of consuming, then All of the following hold: (1) there exist Y (2) Z such that Y is a patient of X (3) Y is an instance of object (4) Y is a resource for X (5) Z is a subprocess of X (6) Z is an instance of decreasing (7) Y is a patient of Z (8) X causes Z |
| ! [V__INJ] : ((s__instance(V__INJ,s__Injuring) => (? [V__STRUCT] : ((s__instance(V__STRUCT,s__AnatomicalStructure) & s__patient(V__INJ,V__STRUCT))))) )
|
Merge.kif 10678-10683 | 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 |
| ! [V__INJ] : ((s__instance(V__INJ,s__Injuring) => (s__instance(V__INJ,s__Damaging) & (? [V__ORGANISM] : ((s__instance(V__ORGANISM,s__Organism) & s__patient(V__INJ,V__ORGANISM)))))) )
|
Merge.kif 10685-10692 | 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 |
| ! [V__POISON] : ((s__instance(V__POISON,s__Poisoning) => (? [V__THING] : ((s__patient(V__POISON,V__THING) & (s__instance(V__THING,s__Organism) | s__instance(V__THING,s__AnatomicalStructure)))))) )
|
Merge.kif 10708-10715 | 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 |
| ! [V__PROC] : ((s__instance(V__PROC,s__PoliticalProcess) => (? [V__POL] : (((s__instance(V__POL,s__Government) | (? [V__GOV] : ((s__instance(V__GOV,s__Government) & s__member(V__POL,V__GOV))))) & (s__agent(V__PROC,V__POL) | s__patient(V__PROC,V__POL)))))) )
|
Merge.kif 11004-11016 | 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 |
| ! [V__EVENT,V__OBJ] : (((s__instance(V__EVENT,s__Translocation) & s__instance(V__OBJ,s__AutonomousAgent)) => (s__changesLocation(V__EVENT,V__OBJ) => (s__instance(V__EVENT,s__Translocation) & s__instance(V__OBJ,s__Object) & (s__patient(V__EVENT,V__OBJ) | s__agent(V__EVENT,V__OBJ) | s__experiencer(V__EVENT,V__OBJ))))) )
|
Merge.kif 11255-11263 | 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 |
| ! [V__OBJ,V__MOTION] : ((s__instance(V__OBJ,s__Object) => ((s__instance(V__MOTION,s__BodyMotion) & s__moves(V__MOTION,V__OBJ)) => (s__instance(V__OBJ,s__BodyPart) & s__patient(V__MOTION,V__OBJ)))) )
|
Merge.kif 11362-11368 | 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 |
| ! [V__PROCESS] : ((s__instance(V__PROCESS,s__Precipitation) => (? [V__STUFF] : ((s__instance(V__STUFF,s__Water) & s__patient(V__PROCESS,V__STUFF))))) )
|
Merge.kif 11465-11470 | 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 |
| ! [V__MOTION] : ((s__instance(V__MOTION,s__WaterMotion) => (? [V__WATER] : ((s__patient(V__MOTION,V__WATER) & s__instance(V__WATER,s__Water))))) )
|
Merge.kif 11489-11494 | 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 |
| ! [V__INJECT] : ((s__instance(V__INJECT,s__Injecting) => (? [V__SUBSTANCE,V__ANIMAL] : ((s__patient(V__INJECT,V__SUBSTANCE) & s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance) & s__attribute(V__SUBSTANCE,s__Liquid) & s__destination(V__INJECT,V__ANIMAL) & s__instance(V__ANIMAL,s__Animal))))) )
|
Merge.kif 11714-11722 | 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 |
| ! [V__SUB] : ((s__instance(V__SUB,s__Substituting) => (? [V__PUT,V__REMOVE,V__OBJ1,V__OBJ2,V__PLACE] : ((s__instance(V__PLACE,s__Object) & (s__instance(V__PUT,s__Putting) & s__instance(V__REMOVE,s__Removing) & s__subProcess(V__PUT,V__SUB) & s__subProcess(V__REMOVE,V__SUB) & s__patient(V__REMOVE,V__OBJ1) & s__origin(V__REMOVE,V__PLACE) & s__patient(V__PUT,V__OBJ2) & s__destination(V__PUT,V__PLACE) & ~((V__OBJ1 = V__OBJ2))))))) )
|
Merge.kif 11730-11742 | 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 |
| ! [V__IMPACT,V__OBJ] : (((s__instance(V__IMPACT,s__Impacting) & s__patient(V__IMPACT,V__OBJ)) => (? [V__IMPEL] : ((s__instance(V__IMPEL,s__Impelling) & s__patient(V__IMPEL,V__OBJ) & s__earlier(s__WhenFn(V__IMPEL) ,s__WhenFn(V__IMPACT)))))) )
|
Merge.kif 11815-11823 | 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 |
| ! [V__DRIVE] : ((s__instance(V__DRIVE,s__Driving) => (? [V__VEHICLE] : ((s__instance(V__VEHICLE,s__Vehicle) & s__patient(V__DRIVE,V__VEHICLE))))) )
|
Merge.kif 11895-11900 | 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 |
| ! [V__EDUCATION : $i,V__PERSON : $i] : (((s__instance(V__EDUCATION, s__EducationalProcess) & s__patient(V__EDUCATION, V__PERSON)) => s__hasPurpose(V__EDUCATION, ( ? [V__LEARN:$i] : ((s__instance(V__LEARN, s__Learning) & s__patient(V__LEARN, V__PERSON))))))) | Merge.kif 11907-11915 | 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 |
| ! [V__AGENT1,V__GIVE,V__AGENT2,V__OBJ] : ((s__instance(V__AGENT1,s__AutonomousAgent) => ((s__instance(V__GIVE,s__Giving) & s__agent(V__GIVE,V__AGENT1) & s__destination(V__GIVE,V__AGENT2) & s__instance(V__AGENT2,s__AutonomousAgent) & s__patient(V__GIVE,V__OBJ)) => (? [V__GET] : ((s__instance(V__GET,s__Getting) & s__agent(V__GET,V__AGENT2) & s__origin(V__GET,V__AGENT1) & s__patient(V__GET,V__OBJ)))))) )
|
Merge.kif 11949-11961 | 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 |
| ! [V__FUND] : ((s__instance(V__FUND,s__Funding) => (? [V__MONEY] : ((s__instance(V__MONEY,s__Currency) & s__patient(V__FUND,V__MONEY))))) )
|
Merge.kif 11978-11983 | 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 |
| ! [V__AGENT1,V__AGENT2,V__BORROW,V__OBJECT] : (((s__instance(V__AGENT1,s__AutonomousAgent) & s__instance(V__AGENT2,s__AutonomousAgent)) => ((s__instance(V__BORROW,s__Borrowing) & s__agent(V__BORROW,V__AGENT1) & s__origin(V__BORROW,V__AGENT2) & s__patient(V__BORROW,V__OBJECT)) => (? [V__LEND] : ((s__instance(V__LEND,s__Lending) & s__agent(V__LEND,V__AGENT2) & s__destination(V__LEND,V__AGENT1) & s__patient(V__LEND,V__OBJECT)))))) )
|
Merge.kif 12007-12018 | 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 |
| ! [V__AGENT2,V__AGENT1,V__LEND,V__OBJECT] : (((s__instance(V__AGENT2,s__AutonomousAgent) & s__instance(V__AGENT1,s__AutonomousAgent)) => ((s__instance(V__LEND,s__Lending) & s__agent(V__LEND,V__AGENT2) & s__destination(V__LEND,V__AGENT1) & s__patient(V__LEND,V__OBJECT)) => (? [V__BORROW] : ((s__instance(V__BORROW,s__Borrowing) & s__agent(V__BORROW,V__AGENT1) & s__origin(V__BORROW,V__AGENT2) & s__patient(V__BORROW,V__OBJECT)))))) )
|
Merge.kif 12020-12031 | 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 |
| ! [V__TRANS] : ((s__instance(V__TRANS,s__Transaction) => (? [V__AGENT1,V__AGENT2,V__GIVE1,V__GIVE2,V__OBJ1,V__OBJ2] : ((s__instance(V__AGENT1,s__AutonomousAgent) & s__instance(V__AGENT2,s__AutonomousAgent) & (s__instance(V__GIVE1,s__Giving) & s__instance(V__GIVE2,s__Giving) & s__subProcess(V__GIVE1,V__TRANS) & s__subProcess(V__GIVE2,V__TRANS) & s__agent(V__GIVE1,V__AGENT1) & s__agent(V__GIVE2,V__AGENT2) & s__patient(V__GIVE1,V__OBJ1) & s__patient(V__GIVE2,V__OBJ2) & s__destination(V__GIVE1,V__AGENT2) & s__destination(V__GIVE2,V__AGENT1) & ~((V__AGENT1 = V__AGENT2)) & ~((V__OBJ1 = V__OBJ2))))))) )
|
Merge.kif 12091-12108 | 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 |
| ! [V__TRANS] : ((s__instance(V__TRANS,s__FinancialTransaction) => (? [V__OBJ] : ((s__patient(V__TRANS,V__OBJ) & s__instance(V__OBJ,s__FinancialInstrument))))) )
|
Merge.kif 12116-12121 | 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 |
| ! [V__TRANS,V__AMOUNT] : (((s__instance(V__TRANS,s__FinancialTransaction) & s__instance(V__AMOUNT,s__CurrencyMeasure)) => (s__transactionAmount(V__TRANS,V__AMOUNT) => (? [V__OBJ] : ((s__instance(V__OBJ,s__Physical) & (s__patient(V__TRANS,V__OBJ) & s__monetaryValue(V__OBJ,V__AMOUNT))))))) )
|
Merge.kif 12133-12138 | 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 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| ? [V__D,V__M] : ((s__instance(V__D,s__Disseminating) & s__agent(V__D,s__Netflix) & s__patient(V__D,V__M) & s__instance(V__M,s__MotionPicture)))
|
Medicine.kif 4580-4585 | 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 |
| ! [V__AGENT : $i,V__ORGANISM : $i,V__PROCESS : $i,V__SAMPLE : $i,V__SUBSTANCE : $i,V__SYMPTOM : $i,V__THERAPY : $i] : (s__decreasesLikelihood((s__biochemicalAgentSyndrome(V__AGENT, V__SYMPTOM) & s__biochemicalAgentAntidote(V__AGENT, V__SUBSTANCE, V__PROCESS) & s__instance(V__SAMPLE, V__SUBSTANCE) & s__instance(V__THERAPY, V__PROCESS) & s__experiencer(V__THERAPY, V__ORGANISM) & s__patient(V__THERAPY, V__SAMPLE)), s__attribute(V__ORGANISM, V__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 |
|