consequent

(=>     (agreementRevisionDate ?AGR ?DATE ?CHANGE)     (exists (?TIME)         (and             (instance ?TIME ?DATE)             (or                 (and                     (holdsDuring                         (ImmediatePastFn ?TIME)                         (not                             (subProposition ?CHANGE ?AGR)))                     (holdsDuring                         (ImmediateFutureFn ?TIME)                         (subProposition ?CHANGE ?AGR)))                 (and                     (holdsDuring                         (ImmediatePastFn ?TIME)                         (subProposition ?CHANGE ?AGR))                     (holdsDuring                         (ImmediateFutureFn ?TIME)                         (not                             (subProposition ?CHANGE ?AGR))))))))	Government.kif 701-716	If a proposition agreement revision date a kind of time position for another proposition , then there exists another time position such that the other time position is an instance of a kind of time position and the other proposition is not a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is a sub-proposition of the proposition holds during immediately after the other time position or the other proposition is a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is not a sub-proposition of the proposition holds during immediately after the other time position
(=>     (and         (instance ?A Amputating)         (patient ?A ?H)         (instance ?L Limb))     (exists (?P ?B)         (and             (part ?P ?L)             (part ?B ?P)             (instance ?B Bone)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?A))                 (part ?P ?H))             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?A))                 (not                     (part ?P ?H))))))	Medicine.kif 6275-6293	If a process is an instance of amputation and an entity is a patient of the process and an object is an instance of limb, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the other object and the third object is an instance of bone and the other object is a part of the entity holds during immediately before the time of existence of the process and the other object is not a part of the entity holds during immediately before the time of existence of the process
(=>     (and         (instance ?ACT ActivatingADeactivatedAccount)         (instance ?AC UserAccount)         (patient ?ACT ?AC))     (and         (holdsDuring             (ImmediatePastFn                 (WhenFn ?ACT))             (attribute ?AC AccountDeactivated))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?ACT))             (attribute ?AC AccountActive))))	ComputingBrands.kif 4477-4486	If a process is an instance of activating a deactivated account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately before the time of existence of the process and account active is an attribute of the entity holds during immediately after the time of existence of the process
(=>     (and         (instance ?B Bequeathing)         (agent ?B ?P)         (destination ?B ?H)         (objectTransferred ?B ?PROP))     (exists (?D)         (and             (instance ?D Death)             (experiencer ?D ?P)             (earlier                 (WhenFn ?D)                 (WhenFn ?B))             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?D))                 (possesses ?P ?PROP))             (confersNorm ?P                 (possesses ?H ?PROP) Permission))))	Mid-level-ontology.kif 20239-20255	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
(=>     (and         (instance ?B Braking)         (patient ?B ?O))     (and         (holdsDuring             (ImmediatePastFn                 (WhenFn ?B))             (equal                 (MeasureFn ?A1 MilesPerHour)                 (AccelerationFn ?FQ ?T ?O ?D)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?B))             (equal                 (MeasureFn ?A2 MilesPerHour)                 (AccelerationFn ?FQ ?T ?O ?D)))         (greaterThan ?A1 ?A2)))	Cars.kif 1252-1267	If a process is an instance of braking and an entity is a patient of the process, then equal a real number miles per hour(s) and the accelleration another entity of the entity in a third entity in the direction a fourth entity holds during immediately before the time of existence of the process and equal another real number miles per hour(s) and the accelleration the other entity of the entity in the third entity in the direction the fourth entity holds during immediately after the time of existence of the process and the real number is greater than the other real number
(=>     (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 6989-7008	If a process is an instance of coughing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the other entity is an instance of lung and the fourth entity is an instance of throat and the third entity is an instance of object and the entity is an instance of removing and the other entity is a part of the agent and the fourth entity is a part of the agent and the object transferred in the entity is the third entity and the third entity is located at the fourth entity or the third entity is located at the other entity holds during immediately before the time of existence of the process
(=>     (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 758-776	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of impairment in breathing and the entity is a patient of the other entity holds during immediately before the time of existence of the process and there exists the other entity such that the other entity is an instance of impairment in breathing and the entity is a patient of the other entity doesn't hold during immediately after the time of existence of the process
(=>     (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 7055-7073	If a process is an instance of sneezing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , the other entityOSE and a fourth entity such that the other entity is an instance of nasal cavity and the other entityOSE is an instance of nose and equal the other entityOSE and the host of the hole the other entity and the fourth entity is an instance of object and the entity is an instance of removing and the other entityOSE is a part of the agent and the object transferred in the entity is the fourth entity and the fourth entity is located at the other entity holds during immediately before the time of existence of the process
(=>     (and         (instance ?Check Check)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check))     (exists (?Depositing)         (and             (instance ?Depositing DepositingACheck)             (patient ?Depositing ?Check)             (time ?Depositing                 (ImmediatePastFn                     (WhenFn ?Processing))))))	FinancialOntology.kif 139-148	If an entity is an instance of check and a process is an instance of processing a check and the entity is a patient of the process, then there exists another process such that the other process is an instance of depositing a check and the entity is a patient of the other process and the other process exists during immediately before the time of existence of the process
(=>     (and         (instance ?Closing ClosingAnAccount)         (patient ?Closing ?Account))     (and         (holdsDuring             (ImmediatePastFn                 (WhenFn ?Closing))             (instance ?Account FinancialAccount))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?Closing))             (not                 (instance ?Account FinancialAccount)))))	FinancialOntology.kif 393-403	If a process is an instance of closing an account and an entity is a patient of the process, then the entity is an instance of financial account holds during immediately before the time of existence of the process and the entity is not an instance of financial account holds during immediately after the time of existence of the process
(=>     (and         (instance ?DEACT DeactivatingAnAccount)         (instance ?AC UserAccount)         (patient ?DEACT ?AC))     (and         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?DEACT))             (attribute ?AC AccountDeactivated))         (holdsDuring             (ImmediatePastFn                 (WhenFn ?DEACT))             (attribute ?AC AccountActive))))	ComputingBrands.kif 4493-4502	If a process is an instance of de_activating an account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately after the time of existence of the process and account active is an attribute of the entity holds during immediately before the time of existence of the process
(=>     (and         (instance ?DEATH Death)         (instance ?ORG Organism)         (experiencer ?DEATH ?ORG))     (exists (?REM ?OBJ)         (and             (result ?DEATH ?REM)             (instance ?REM OrganicObject)             (holdsDuring                 (FutureFn                     (WhenFn ?DEATH))                 (attribute ?REM Dead))             (=>                 (holdsDuring                     (ImmediateFutureFn                         (WhenFn ?DEATH))                     (part ?OBJ ?REM))                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?DEATH))                     (part ?OBJ ?ORG))))))	Merge.kif 10384-10399	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if the other entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
(=>     (and         (instance ?F Forgetting)         (experiencer ?F ?A))     (exists (?P)         (and             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?F))                 (not                     (knows ?A ?P)))             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?F))                 (knows ?A ?P)))))	ComputingBrands.kif 4446-4456	If a process is an instance of forgetting and an agent experiences the process, then there exists an entity such that the agent doesn't know the entity holds during immediately after the time of existence of the process and the agent knows the entity holds during immediately before the time of existence of the process
(=>     (and         (instance ?INHERIT Inheriting)         (agent ?INHERIT ?HEIR)         (instance ?HEIR Human)         (origin ?INHERIT ?PERSON)         (instance ?PERSON Human)         (patient ?INHERIT ?PROPERTY)         (instance ?PROPERTY Object))     (exists (?DEATH)         (and             (instance ?DEATH Death)             (experiencer ?DEATH ?PERSON)             (earlier                 (WhenFn ?DEATH)                 (WhenFn ?INHERIT))             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?DEATH))                 (possesses ?PERSON ?PROPERTY))             (confersRight                 (possesses ?HEIR ?PROPERTY) ?PERSON ?HEIR))))	Mid-level-ontology.kif 20178-20199	If a process is an instance of inheriting and a cognitive agent is an agent of the process and the cognitive agent is an instance of human and the process originates at an agent and the agent is an instance of human and an entity is a patient of the process and the entity is an instance of object, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process and the agent possesses the entity holds during immediately before the time of existence of the other process and the agent allows the cognitive agent to perform task of the type the cognitive agent possesses the entity
(=>     (and         (instance ?IRRIGATION Irrigating)         (patient ?IRRIGATION ?AREA)         (instance ?AREA LandArea))     (and         (holdsDuring             (ImmediatePastFn                 (WhenFn ?IRRIGATION))             (attribute ?AREA Dry))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?IRRIGATION))             (attribute ?AREA Damp))))	Geography.kif 7326-7333	If a process is an instance of irrigating and an entity is a patient of the process and the entity is an instance of land area, then dry is an attribute of the entity holds during immediately before the time of existence of the process and damp is an attribute of the entity holds during immediately after the time of existence of the process
(=>     (and         (instance ?MTP MovingAwayFromPeople)         (agent ?MTP ?A))     (exists (?P ?U ?D1 ?D2)         (and             (instance ?P Human)             (instance ?U UnitOfLength)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?MTP))                 (distance ?MTP ?A                     (MeasureFn ?D1 ?U)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?MTP))                 (distance ?MTP ?A                     (MeasureFn ?D2 ?U)))             (greaterThan ?D2 ?D1))))	emotion.kif 1393-1411	If a process is an instance of moving away from people and an agent is an agent of the process, then there exist an entity, another entity,, , a real number and another real number such that the entity is an instance of human and the other entity is an instance of unit of length and the distance between the process and the agent is the real number the other entity(s) holds during immediately before the time of existence of the process and the distance between the process and the agent is the other real number the other entity(s) holds during immediately after the time of existence of the process and the other real number is greater than the real number
(=>     (and         (instance ?MTP MovingTowardsPeople)         (agent ?MTP ?A))     (exists (?P ?U ?D1 ?D2)         (and             (instance ?P Human)             (instance ?U UnitOfLength)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?MTP))                 (distance ?MTP ?A                     (MeasureFn ?D1 ?U)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?MTP))                 (distance ?MTP ?A                     (MeasureFn ?D2 ?U)))             (greaterThan ?D1 ?D2))))	emotion.kif 1427-1445	If a process is an instance of moving towards people and an agent is an agent of the process, then there exist an entity, another entity,, , a real number and another real number such that the entity is an instance of human and the other entity is an instance of unit of length and the distance between the process and the agent is the real number the other entity(s) holds during immediately before the time of existence of the process and the distance between the process and the agent is the other real number the other entity(s) holds during immediately after the time of existence of the process and the real number is greater than the other real number
(=>     (and         (instance ?R RelievingPain)         (patient ?R ?H))     (and         (exists (?P1)             (and                 (overlapsTemporally                     (WhenFn ?P1)                     (ImmediatePastFn                         (WhenFn ?R)))                 (instance ?P1 Pain)                 (located ?P1 ?H)))         (not             (exists (?P2)                 (and                     (overlapsTemporally                         (WhenFn ?P2)                         (ImmediateFutureFn                             (WhenFn ?R)))                     (instance ?P2 Pain)                     (located ?P2 ?H))))))	Mid-level-ontology.kif 6712-6731	If a process is an instance of relieving pain and an object is a patient of the process, then there exists a physical such that immediately before the time of existence of the process overlaps the time of existence of the physical and the physical is an instance of pain and the physical is located at the object and there doesn't exist another physical such that immediately after the time of existence of the process overlaps the time of existence of the other physical and the other physical is an instance of pain and the other physical is located at the object
(=>     (and         (instance ?SALE BargainSale)         (patient ?SALE ?OBJ)         (instance ?OBJ Object))     (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)         (and             (instance ?U UnitOfCurrency)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?SALE))                 (price ?OBJ                     (MeasureFn ?PRICE1 ?U) ?AGENT1))             (holdsDuring                 (WhenFn ?SALE)                 (price ?OBJ                     (MeasureFn ?PRICE2 ?U) ?AGENT2))             (lessThan ?PRICE2 ?PRICE1))))	Mid-level-ontology.kif 9010-9024	If a process is an instance of bargain sale and an entity is a patient of the process and the entity is an instance of object, then there exist a real number, another real number,, , another entity,, , a third entity and a fourth entity such that the fourth entity is an instance of unit of currency and the entity is price the real number the fourth entity(s) for the other entity holds during immediately before the time of existence of the process and the entity is price the other real number the fourth entity(s) for the third entity holds during the time of existence of the process and the other real number is less than the real number
(=>     (and         (instance ?VCS VentedChestSeal)         (instance ?A Attaching)         (objectTransferred ?A ?VCS)         (destination ?A ?H))     (hasPurpose ?VCS         (exists (?A ?L ?C ?H)             (and                 (instance ?A Air)                 (instance ?L Lung)                 (instance ?C Chest)                 (part ?L ?H)                 (part ?C ?H)                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?A))                     (between ?L ?A ?C))                 (hasPurpose ?VCS                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?A))                         (orientation ?A ?H Outside)))))))	Medicine.kif 844-866	If an object is an instance of vented chest seal and a transfer is an instance of attaching and the object transferred in the transfer is the object and the transfer ends up at an entity, then the object has the purpose there exist the transfer, another entity,, , a third entity and the entity such that the transfer is an instance of air and the other entity is an instance of lung and the third entity is an instance of chest and the other entity is a part of the entity and the third entity is a part of the entity and the transfer is between the other entity and the third entity holds during immediately before the time of existence of the transfer and the object has the purpose the transfer is outside to the entity holds during immediately after the time of existence of the transfer
(=>     (and         (instance ?X Argument)         (instance ?R Reasoning)         (instance ?A Archeology)         (subProposition ?X ?A)         (realization ?R ?X))     (exists (?D ?S ?O ?T ?W ?L)         (and             (instance ?D Discovering)             (instance ?O Object)             (patient ?D ?O)             (refers ?R ?D)             (earlier                 (WhenFn ?D)                 (WhenFn ?R))             (age ?O                 (MeasureFn ?T YearDuration))             (greaterThan ?T 50)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?D))                 (or                     (and                         (surface ?S ?W)                         (instance ?W BodyOfWater)                         (orientation ?O ?S Below))                     (and                         (surface ?S ?L)                         (instance ?L LandArea)                         (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 22755-22785	If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
(=>     (and         (status ?Process ProcessFailure)         (hasPurpose ?Process ?Purpose))     (not         (holdsDuring             (ImmediatePastFn                 (WhenFn ?Process)) ?Purpose)))	QoSontology.kif 911-918	If process failure is the status of a computer process and the computer process has the purpose a formula, then the formula doesn't hold during immediately before the time of existence of the computer process
(=>     (holdsDuring ?TIME         (confersNorm ?ENTITY ?FORMULA ?NORM))     (and         (holdsDuring             (ImmediatePastFn ?TIME)             (not                 (modalAttribute ?FORMULA ?NORM)))         (holdsDuring             (ImmediateFutureFn ?TIME)             (modalAttribute ?FORMULA ?NORM))))	Merge.kif 4041-4051	If an entity confers norm another entity for a third entity holds during a time position, then the statement the other entity doesn't have the modal force of the third entity holds during immediately before the time position and the statement the other entity has the modal force of the third entity holds during immediately after the time position
(=>     (holdsDuring ?TIME         (deprivesNorm ?ENTITY ?FORMULA ?NORM))     (and         (holdsDuring             (ImmediatePastFn ?TIME)             (modalAttribute ?FORMULA ?NORM))         (holdsDuring             (ImmediateFutureFn ?TIME)             (not                 (modalAttribute ?FORMULA ?NORM)))))	Merge.kif 4063-4072	If an entity deprives norm another entity for a third entity holds during a time position, then the statement the other entity has the modal force of the third entity holds during immediately before the time position and the statement the other entity doesn't have the modal force of the third entity holds during immediately after the time position
(=>     (instance ?BA BleedingAir)     (hasPurpose ?BA         (exists (?FC ?A)             (and                 (instance ?FC FluidContainer)                 (instance ?A Air)                 (holdsDuring                     (ImmediatePastFn ?BA)                     (contains ?FC ?A))                 (holdsDuring                     (ImmediateFutureFn ?BA)                     (not                         (contains ?FC ?A)))))))	Cars.kif 1519-1529	If a physical is an instance of bleeding air, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of fluid container and the other entity is an instance of air and the entity contains the other entity holds during immediately before the physical and the entity doesn't contain the other entity holds during immediately after the physical
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)