consequent

(=>     (and         (instance ?AS AutomobileShock)         (instance ?C Compressing)         (instance ?H HoleRegion)         (attribute ?F Fluid)         (equal ?AS             (HoleHostFn ?H))         (contains ?AS ?F)         (patient ?C ?AS))     (exists (?T)         (and             (instance ?T Transfer)             (objectTransferred ?T ?F)             (path ?T ?H)             (causes ?C ?T))))	Cars.kif 871-885	If an integer is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and equal the integer and the host of the hole the hole and the integer contains the object and the integer is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
(=>     (and         (instance ?E Edema)         (experiencer ?E ?A))     (exists (?T ?P ?L)         (and             (instance ?T Transfer)             (instance ?L Liquid)             (instance ?P BodyPart)             (part ?P ?A)             (destination ?T ?P)             (moves ?T ?L)             (subProcess ?T ?E))))	Mid-level-ontology.kif 11287-11299	If a process is an instance of swelling and an agent experiences the process, then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and the other object moves during the motion and the motion is a subprocess of the process
(=>     (and         (instance ?GERD GERefluxDisease)         (experiencer ?GERD ?H))     (exists (?T ?S ?E)         (and             (instance ?T Transfer)             (origin ?T ?S)             (instance ?S Stomach)             (instance ?E Esophagus)             (destination ?T ?E)             (part ?S ?H)             (part ?E ?H)             (subProcess ?T ?GERD))))	Medicine.kif 1909-1922	If a process is an instance of GERD and an agent experiences the process, then there exist another process, an object and another object such that the other process is an instance of transfer and the other process originates at the object and the object is an instance of stomach and the other object is an instance of esophagus and the other process ends up at the other object and the object is a part of the agent and the other object is a part of the agent and the other process is a subprocess of the process
(=>     (and         (instance ?T Transportation)         (instance ?P1 Transitway)         (path ?T ?P1)         (conveyance ?T ?V)         (instance ?J TransitwayJunction)         (part ?J ?P1))     (exists (?P2 ?M)         (and             (instance ?P2 Transitway)             (not                 (equal ?P1 ?P2))             (connects ?J ?P1 ?P2)             (capability Transfer path ?J)             (instance ?M Transfer)             (conveyance ?M ?V)             (meetsTemporally                 (WhenFn ?T)                 (WhenFn ?M))             (modalAttribute                 (path ?M ?P2) Possibility))))	Transportation.kif 3818-3838	If a transportation is an instance of transportation and an object is an instance of transitway and the object is path along which the transportation occurs and a transportation device is a conveyance during the transportation and another object is an instance of transitway junction and the other object is a part of the object, then there exist a third object and another transportation such that the third object is an instance of transitway and equal the object and the third object and the other object connects the object and the third object and the other object is capable of doing transfer as a path and the other transportation is an instance of transfer and the transportation device is a conveyance during the other transportation and the time of existence of the transportation meets the time of existence of the other transportation and the statement the third object is path along which the other transportation occurs has the modal force of possibility
(=>     (and         (instance ?X DutyTax)         (refers ?X ?OBJ)         (patient ?X ?OBJ))     (exists (?T ?N1 ?N2)         (and             (instance ?T Transfer)             (patient ?T ?OBJ)             (origin ?T ?N1)             (destination ?T ?N2)             (instance ?N1 Nation)             (instance ?N2 Nation)             (not                 (equal ?N1 ?N2))             (earlier                 (WhenFn ?T)                 (WhenFn ?X))             (causes ?T ?X))))	FinancialOntology.kif 951-966	If a process is an instance of duty tax and the process includes a reference to an entity and the entity is a patient of the process, then there exist another process, an object and another entity such that the other process is an instance of transfer and the entity is a patient of the other process and the other process originates at the object and the other process ends up at the other entity and the object is an instance of nation and the other entity is an instance of nation and equal the object and the other entity and the time of existence of the other process happens earlier than the time of existence of the process and the other process causes the process
(=>     (instance ?AI AirIntake)     (hasPurpose ?AI         (exists (?A ?E ?T)             (and                 (instance ?A Air)                 (instance ?E Engine)                 (instance ?T Transfer)                 (origin ?T ?AI)                 (destination ?T ?E)                 (patient ?T ?A)))))	Cars.kif 973-983	If a physical is an instance of air intake, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of air and the other entity is an instance of engine and the third entity is an instance of transfer and the third entity originates at the physical and the third entity ends up at the other entity and the entity is a patient of the third entity
(=>     (instance ?BAG Bag)     (hasPurpose ?BAG         (exists (?T ?OBJ)             (and                 (instance ?T Transfer)                 (instance ?OBJ Object)                 (contains ?BAG ?OBJ)                 (instrument ?T ?BAG)                 (patient ?T ?OBJ)))))	Mid-level-ontology.kif 4906-4915	If a physical is an instance of bag, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and the other entity is an instance of object and the physical contains the other entity and the physical is an instrument for the entity and the other entity is a patient of the entity
(=>     (instance ?EM ExhaustManifold)     (hasPurpose ?EM         (exists (?A ?E ?C ?M ?T)             (and                 (instance ?A Automobile)                 (instance ?E Exhaust)                 (instance ?C EngineCylinder)                 (instance ?M AutomobileMuffler)                 (instance ?T Transfer)                 (part ?EM ?A)                 (part ?C ?A)                 (part ?M ?A)                 (origin ?T ?C)                 (destination ?T ?M)                 (patient ?T ?E)                 (instrument ?T ?E)))))	Cars.kif 2613-2629	If a physical is an instance of exhaust manifold, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of automobile and the other entity is an instance of exhaust and the third entity is an instance of engine cylinder and the fourth entity is an instance of muffler and the fifth entity is an instance of transfer and the physical is a part of the entity and the third entity is a part of the entity and the fourth entity is a part of the entity and the fifth entity originates at the third entity and the fifth entity ends up at the fourth entity and the other entity is a patient of the fifth entity and the other entity is an instrument for the fifth entity
(=>     (instance ?EV ExhaustValve)     (hasPurpose ?EV         (exists (?E ?T)             (and                 (instance ?T Transfer)                 (objectTransferred ?T ?E)                 (path ?T ?EV)                 (instance ?E Exhaust)))))	Cars.kif 2649-2657	If a physical is an instance of exhaust valve, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of transfer and the object transferred in the other entity is the entity and the physical is path along which the other entity occurs and the entity is an instance of exhaust
(=>     (instance ?GP GasPedal)     (hasPurpose ?GP         (exists (?P ?T ?F ?E ?A)             (and                 (instance ?P Pushing)                 (instance ?T Transfer)                 (instance ?F Fuel)                 (instance ?E Engine)                 (instance ?A Automobile)                 (part ?GP ?A)                 (part ?E ?A)                 (destination ?P ?GP)                 (destination ?T ?E)                 (patient ?T ?F)                 (causes ?P ?T)))))	Cars.kif 2524-2539	If a physical is an instance of gas pedal, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of pushing and the other entity is an instance of transfer and the third entity is an instance of fuel and the fourth entity is an instance of engine and the fifth entity is an instance of automobile and the physical is a part of the fifth entity and the fourth entity is a part of the fifth entity and the entity ends up at the physical and the other entity ends up at the fourth entity and the third entity is a patient of the other entity and the entity causes the other entity
(=>     (instance ?GT GasTank)     (hasPurpose ?GT         (exists (?F ?T ?E)             (and                 (instance ?F Fuel)                 (contains ?GT ?F)                 (instance ?E Engine)                 (instance ?T Transfer)                 (origin ?T ?GT)                 (destination ?T ?E)                 (patient ?T ?F)))))	Cars.kif 1000-1011	If a physical is an instance of gas tank, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of fuel and the physical contains the entity and the third entity is an instance of engine and the other entity is an instance of transfer and the other entity originates at the physical and the other entity ends up at the third entity and the entity is a patient of the other entity
(=>     (instance ?HEART Heart)     (exists (?TRANSFER ?BLOOD)         (and             (instance ?TRANSFER Transfer)             (instance ?BLOOD Blood)             (instrument ?TRANSFER ?HEART)             (patient ?TRANSFER ?BLOOD))))	Mid-level-ontology.kif 12666-12673	If an object is an instance of heart, then there exist a process and an entity such that the process is an instance of transfer and the entity is an instance of blood and the object is an instrument for the process and the entity is a patient of the process
(=>     (instance ?IV IntakeValve)     (hasPurpose ?IV         (exists (?A ?FV ?CC ?T)             (and                 (instance ?A Automobile)                 (instance ?FV FuelVapor)                 (instance ?CC CombustionChamber)                 (instance ?T Transfer)                 (part ?IV ?A)                 (part ?CC ?A)                 (patient ?T ?FV)                 (path ?T ?IV)                 (destination ?T ?CC)))))	Cars.kif 2674-2687	If a physical is an instance of intake valve, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of automobile and the other entity is an instance of fuel vapor and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the physical is a part of the entity and the third entity is a part of the entity and the other entity is a patient of the fourth entity and the physical is path along which the fourth entity occurs and the fourth entity ends up at the third entity
(=>     (instance ?MAS MassAirflowSensor)     (hasPurpose ?MAS         (exists (?T ?M ?A)             (and                 (instance ?T Transfer)                 (instance ?A Air)                 (patient ?T ?A)                 (instance ?M Measuring)                 (patient ?M ?A)                 (instrument ?M ?MAS)))))	Cars.kif 3364-3374	If a physical is an instance of mass airflow sensor, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the third entity is an instance of air and the third entity is a patient of the entity and the other entity is an instance of measuring and the third entity is a patient of the other entity and the physical is an instrument for the other entity
(=>     (instance ?MHCV ManifoldHeatControlValve)     (hasPurpose ?MHCV         (exists (?H ?O ?E ?FV ?T)             (and                 (instance ?H Heating)                 (instance ?O Opening)                 (instance ?E Exhaust)                 (instance ?T Transfer)                 (instance ?FV FuelVapor)                 (patient ?O ?MHCV)                 (instrument ?H ?E)                 (patient ?H ?FV)                 (path ?T ?MHCV)                 (causes ?O ?T)                 (causes ?T ?H)))))	Cars.kif 3323-3338	If a physical is an instance of manifold heat control valve, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of heating and the other entity is an instance of opening and the third entity is an instance of exhaust and the fifth entity is an instance of transfer and the fourth entity is an instance of fuel vapor and the physical is a patient of the other entity and the third entity is an instrument for the entity and the fourth entity is a patient of the entity and the physical is path along which the fifth entity occurs and the other entity causes the fifth entity and the fifth entity causes the entity
(=>     (instance ?PCVV PositiveCrankcaseVentilationValve)     (hasPurpose ?PCVV         (exists (?CR ?F ?CC ?T ?A)             (and                 (instance ?CR Crankcase)                 (instance ?F Fuel)                 (instance ?CC CombustionChamber)                 (instance ?T Transfer)                 (instance ?A Automobile)                 (part ?CR ?A)                 (part ?CC ?A)                 (part ?PCVV ?A)                 (origin ?T ?CR)                 (destination ?T ?CC)                 (objectTransferred ?T ?F)                 (path ?T ?PCVV)))))	Cars.kif 3879-3895	If a physical is an instance of positive crankcase ventilation valve, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of crankcase and the other entity is an instance of fuel and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the fifth entity is an instance of automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and the object transferred in the fourth entity is the other entity and the physical is path along which the fourth entity occurs
(=>     (instance ?ROOT PlantRoot)     (hasPurpose ?ROOT         (exists (?TRAN ?STUFF ?HOST)             (and                 (instance ?TRAN Transfer)                 (instrument ?TRAN ?ROOT)                 (origin ?TRAN ?HOST)                 (orientation ?HOST ?ROOT Outside)                 (objectTransferred ?TRAN ?STUFF)                 (or                     (instance ?STUFF FreshWater)                     (instance ?STUFF Nutrient))))))	Mid-level-ontology.kif 10830-10842	If a physical is an instance of plant root, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the entity originates at the third entity and the third entity is outside to the physical and the object transferred in the entity is the other entity and the other entity is an instance of freshwater or the other entity is an instance of nutrient
(=>     (instance ?STEM PlantStem)     (hasPurpose ?STEM         (exists (?TRAN ?ROOT ?SUB)             (and                 (instance ?TRAN Transfer)                 (instrument ?TRAN ?STEM)                 (instance ?ROOT PlantRoot)                 (origin ?TRAN ?ROOT)                 (instance ?SUB Substance)                 (attribute ?SUB Fluid)                 (objectTransferred ?TRAN ?SUB)))))	Mid-level-ontology.kif 10869-10880	If a physical is an instance of plant stem, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the other entity is an instance of plant root and the entity originates at the other entity and the third entity is an instance of substance and fluid is an attribute of the third entity and the object transferred in the entity is the third entity
(=>     (instance ?T Tube)     (hasPurpose ?T         (exists (?P ?OBJ)             (and                 (instance ?P Transfer)                 (path ?P ?T)                 (patient ?P ?OBJ)                 (attribute ?OBJ Fluid)))))	Mid-level-ontology.kif 1744-1752	If a physical is an instance of tube, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and the physical is path along which the entity occurs and the other entity is a patient of the entity and fluid is an attribute of the other entity
(=>     (instance ?V Valve)     (hasPurpose ?V         (exists (?FLUID ?PROC ?FLOW)             (and                 (instance ?FLOW Transfer)                 (path ?FLOW ?V)                 (patient ?FLOW ?FLUID)                 (attribute ?FLUID Fluid)                 (instance ?PROC Process)                 (instrument ?PROC ?V)                 (patient ?PROC ?FLOW)))))	engineering.kif 1227-1238	If a physical is an instance of valve, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of transfer and the physical is path along which the third entity occurs and the entity is a patient of the third entity and fluid is an attribute of the entity and the other entity is an instance of process and the physical is an instrument for the other entity and the third entity is a patient of the other entity
(=>     (instance ?VESSEL BloodVessel)     (exists (?BLOOD ?TRANSFER)         (and             (instance ?BLOOD Blood)             (instance ?TRANSFER Transfer)             (patient ?TRANSFER ?BLOOD)             (instrument ?TRANSFER ?VESSEL))))	Mid-level-ontology.kif 12407-12414	If an object is an instance of blood vessel, then there exist an entity and a process such that the entity is an instance of blood and the process is an instance of transfer and the entity is a patient of the process and the object is an instrument for the process
(=>     (instance ?VRR VehicleRoofRack)     (hasPurpose ?VRR         (exists (?T ?A ?C)             (and                 (instance ?T Transfer)                 (patient ?T ?C)                 (instance ?A Automobile)                 (orientation ?VRR ?A Outside)                 (meetsSpatially ?C ?VRR)                 (part ?VRR ?A)                 (instrument ?T ?A)))))	Cars.kif 4730-4741	If a physical is an instance of cargo rack, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the third entity is a patient of the entity and the other entity is an instance of automobile and the physical is outside to the other entity and the third entity meets the physical and the physical is a part of the other entity and the other entity is an instrument for the entity
(=>     (instance ?WP WaterPump)     (hasPurpose ?WP         (exists (?T ?W)             (and                 (instance ?T Transfer)                 (instance ?W FreshWater)                 (objectTransferred ?T ?W)                 (instrument ?T ?WP)))))	Cars.kif 2753-2761	If a physical is an instance of water pump, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and the other entity is an instance of freshwater and the object transferred in the entity is the other entity and the physical is an instrument for the entity
(=>     (orientation ?O1 ?O2 Downstream)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O2)             (beforeOnPath ?O2 ?O1 ?P ?T)             (destination ?T ?O1))))	Mid-level-ontology.kif 31680-31689	If an object is downstream to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the other object and the other object before the object on path the fourth object during the transfer and the transfer ends up at the object
(=>     (orientation ?O1 ?O2 Upstream)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O1)             (beforeOnPath ?O1 ?O2 ?P ?T)             (destination ?T ?O2))))	Mid-level-ontology.kif 31669-31678	If an object is upstream to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the object and the object before the other object on path the fourth object during the transfer and the transfer ends up at the other object
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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