consequent

(=>     (and         (attribute ?M DemoRecording)         (instance ?M Recording))     (hasPurpose ?M         (exists (?D ?G ?MUSIC)             (and                 (instance ?D Demonstrating)                 (record ?M ?MUSIC)                 (patient ?D ?MUSIC)                 (destination ?D ?G)                 (instance ?G GroupOfPeople)))))	Music.kif 410-421	If demo recording is an attribute of an object and the object is an instance of recording, then the object has the purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
(=>     (and         (attribute ?X Produce)         (instance ?X FruitOrVegetable))     (hasPurpose ?X         (exists (?H)             (and                 (instance ?H Harvesting)                 (result ?H ?X)                 (instance ?X                     (FoodForFn Human))))))	Economy.kif 4527-4536	If produce is an attribute of an object and the object is an instance of fruit or vegetable, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of food for human
(=>     (and         (attribute ?X Waiter)         (instance ?X Human)         (employs ?REST ?X)         (instance ?REST Restaurant)         (customer ?CUST ?REST)         (located ?CUST ?TABLE)         (instance ?TABLE Table))     (exists (?DINING ?C ?FOOD ?KITCHEN)         (and             (possesses ?REST ?KITCHEN)             (instance ?KITCHEN KitchenArea)             (instance ?DINING DiningArea)             (located ?TABLE ?DINING)             (hasPurpose ?X                 (and                     (instance ?C Carrying)                     (agent ?C ?X)                     (origin ?C ?KITCHEN)                     (destination ?C ?TABLE)                     (patient ?C ?FOOD)                     (instance ?FOOD                         (FoodForFn Human)))))))	Mid-level-ontology.kif 22664-22686	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other entity is a patient of the entity and the other entity is an instance of food for human
(=>     (and         (engineeringSubcomponent ?DEVICE1 Internet)         (engineeringSubcomponent ?DEVICE2 Internet)         (not             (equal ?DEVICE1 ?DEVICE2)))     (hasPurpose Internet         (exists (?COMM)             (and                 (instance ?COMM Communication)                 (agent ?COMM ?DEVICE1)                 (destination ?COMM ?DEVICE2)                 (instrument ?COMM Internet)))))	Hotel.kif 1358-1369	If an engineering component is a component of internet and another engineering component is a component of internet and equal the engineering component and the other engineering component, then internet has the purpose there exists an entity such that the entity is an instance of communication and the engineering component is an agent of the entity and the entity ends up at the other engineering component and internet is an instrument for the entity
(=>     (and         (ennervates ?NC ?MC)         (instance ?N ?NC)         (instance ?M ?MC)         (part ?N ?H)         (part ?M ?H)         (attribute ?H Healthy)         (instance ?H Human))     (hasPurpose ?N         (exists (?NF ?C)             (and                 (instance ?NF NerveFiring)                 (instrument ?NF ?N)                 (instance ?MC MuscleContraction)                 (instrument ?MV ?M)                 (causes ?NF ?MC)))))	Anatomy.kif 1961-1977	If ennervates a kind of nerve and a kind of muscle and an object is an instance of a kind of nerve and another object is an instance of a kind of muscle and the object is a part of a third object and the other object is a part of the third object and healthy is an attribute of the third object and the third object is an instance of human, then the object has the purpose there exist the objectF and another entity such that the objectF is an instance of nerve firing and the object is an instrument for the objectF and the kind of muscle is an instance of MuscleContraction and the other object is an instrument for the other objectV and the objectF causes the kind of muscle
(=>     (and         (instance ?A Armor)         (or             (part ?A ?OBJ)             (meetsSpatially ?A ?OBJ)))     (hasPurpose ?A         (exists (?MAINTAINING)             (and                 (instance ?MAINTAINING Maintaining)                 (instrument ?MAINTAINING ?A)                 (experiencer ?MAINTAINING ?OBJ)))))	MilitaryDevices.kif 1776-1787	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object has the purpose there exists an entity such that the entity is an instance of maintaining and the object is an instrument for the entity and the other object experiences the entity
(=>     (and         (instance ?A Armor)         (or             (part ?A ?OBJ)             (meetsSpatially ?A ?OBJ)))     (hasPurpose ?A         (not             (exists (?DAMAGING)                 (and                     (instance ?DAMAGING Damaging)                     (instrument ?DAMAGING ?A)                     (experiencer ?DAMAGING ?OBJ))))))	MilitaryDevices.kif 1789-1801	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object has the purpose there doesn't exist an entity such that the entity is an instance of damaging and the object is an instrument for the entity and the other object experiences the entity
(=>     (and         (instance ?A MedicalPerson)         (attribute ?C ?A))     (hasPurpose ?C         (exists (?TP)             (and                 (instance ?TP TherapeuticProcess)                 (agent ?TP ?C)))))	Medicine.kif 6327-6335	If an attribute is an instance of medical person and the attribute is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of therapeutic process and the object is an agent of the entity
(=>     (and         (instance ?AMBUSH Ambush)         (agent ?AMBUSH ?AG))     (exists (?C)         (and             (instance ?C Concealing)             (subProcess ?C ?AMBUSH)             (hasPurpose ?C                 (exists (?ATTACK)                     (and                         (instance ?ATTACK Attack)                         (agent ?ATTACK ?AG)))))))	Mid-level-ontology.kif 23901-23913	If a process is an instance of ambush and an agent is an agent of the process, then there exists another process such that the other process is an instance of concealing and the other process is a subprocess of the process and the other process has the purpose there exists an entity such that the entity is an instance of attack and the agent is an agent of the entity
(=>     (and         (instance ?B Barricade)         (partlyLocated ?B ?P))     (hasPurpose ?B         (not             (exists (?T)                 (and                     (instance ?T Translocation)                     (path ?T ?P))))))	MilitaryDevices.kif 2160-2169	If a physical is an instance of barricade and the physical is partly located in an object, then the physical has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the object is path along which the entity occurs
(=>     (and         (instance ?B VehicleBrake)         (instance ?V Vehicle)         (part ?B ?V))     (hasPurpose ?B         (exists (?S)             (and                 (instance ?S                     (StopFn Motion))                 (patient ?S ?V)                 (instrument ?S ?B)))))	Mid-level-ontology.kif 3859-3869	If an object is an instance of vehicle brake and another object is an instance of vehicle and the object is a part of the other object, then the object has the purpose there exists an entity such that the entity is an instance of the stop of motion and the other object is a patient of the entity and the object is an instrument for the entity
(=>     (and         (instance ?BP BrakePedal)         (instance ?P Pushing)         (instance ?V Vehicle)         (destination ?P ?BP)         (eventLocated ?P ?V)         (part ?BP ?V))     (hasPurpose ?BP         (exists (?FS ?F)             (and                 (instance ?FS WearingFrictionSurface)                 (instance ?F Friction)                 (instrument ?F ?FS)                 (causes ?P ?F)))))	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at the other object and the object is a part of the other object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
(=>     (and         (instance ?C Cam)         (instance ?CS Camshaft)         (instance ?E Engine)         (part ?C ?E)         (part ?CS ?E))     (hasPurpose ?CS         (connectedEngineeringComponents ?C ?CS)))	Cars.kif 1667-1675	If an object is an instance of cam and the objectS is an instance of camshaft and a third object is an instance of engine and the object is a part of the third object and the objectS is a part of the third object, then the objectS has the purpose the object is connected to the objectS
(=>     (and         (instance ?C Cavitating)         (instance ?P Pump)         (attribute ?P DeviceOn)         (attribute ?L1 Liquid)         (contains ?P ?L1))     (exists (?PP ?L2)         (and             (part ?PP ?P)             (hasPurpose ?PP                 (and                     (attribute ?L2 Liquid)                     (meetsSpatially ?L2 ?PP)))             (holdsDuring                 (WhenFn ?C)                 (not                     (exists (?L3)                         (and                             (attribute ?L3 Liquid)                             (meetsSpatially ?PP ?L3))))))))	Cars.kif 1748-1768	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object, then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of the entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
(=>     (and         (instance ?C Concealing)         (patient ?C ?OBJ))     (hasPurpose ?C         (not             (exists (?S)                 (and                     (instance ?S Seeing)                     (patient ?S ?OBJ))))))	Mid-level-ontology.kif 6422-6431	If a process is an instance of concealing and an entity is a patient of the process, then the process has the purpose there doesn't exist another entity such that the other entity is an instance of seeing and the entity is a patient of the other entity
(=>     (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 Crankshaft)         (instance ?I IntermittentCombustionEngine)         (part ?I ?C))     (hasPurpose ?C         (exists (?E ?R)             (and                 (instance ?E Explosion)                 (instance ?R Rotating)                 (patient ?R ?C)                 (eventLocated ?R ?I)                 (causes ?E ?R)))))	Cars.kif 349-361	If an object is an instance of crankshaft and another object is an instance of intermittent combustion engine and the other object is a part of the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of rotating and the object is a patient of the other entity and the other entity is located at the other object and the entity causes the other entity
(=>     (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 745-763	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 ?CAB GovernmentCabinet)         (subOrganization ?CAB             (GovernmentFn ?AREA))         (instance ?AREA GeopoliticalArea))     (hasPurpose ?CAB         (exists (?ADVICE ?LEADER)             (and                 (instance ?ADVICE Stating)                 (agent ?ADVICE ?CAB)                 (patient ?ADVICE ?LEADER)                 (leader ?LEADER                     (GovernmentFn ?AREA))))))	Government.kif 1475-1486	If an organization is an instance of government cabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization has the purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the government of the geopolitical area is a leader of the other entity
(=>     (and         (instance ?CO CounterproliferationWMD)         (agent ?CO ?AGENT))     (exists (?ENEMY ?OP)         (and             (enemy ?AGENT ?ENEMY)             (agent ?OP ?ENEMY)             (instance ?OP ProliferationWMD)             (hasPurpose ?CO                 (prevents ?CO ProliferationWMD)))))	MilitaryProcesses.kif 1497-1507	If a process is an instance of counterproliferationWM d and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of proliferationWMD and the process has the purpose the process prevents the occurrence of proliferationWMD
(=>     (and         (instance ?D Dodging)         (agent ?D ?A)         (equal ?DT             (WhenFn ?D)))     (hasPurpose ?D         (not             (exists (?I)                 (and                     (or                         (meetsTemporally ?DT                             (WhenFn ?I))                         (overlapsTemporally ?DT                             (WhenFn ?I)))                     (instance ?I Impacting)                     (patient ?I ?A))))))	Mid-level-ontology.kif 443-456	If a process is an instance of dodging and an agent is an agent of the process and equal the processT and the time of existence of the process, then the process has the purpose there doesn't exist an entity such that the processT meets the time of existence of the entity or the time of existence of the entity overlaps the processT and the entity is an instance of impacting and the agent is a patient of the entity
(=>     (and         (instance ?D Dressing)         (instance ?O Oqal)         (instance ?H Hat)         (patient ?D ?O)         (patient ?D ?H))     (hasPurpose ?O         (exists (?A)             (and                 (instance ?A Attaching)                 (instrument ?A ?O)))))	ArabicCulture.kif 420-431	If a process is an instance of dressing and a physical is an instance of oqal and an entity is an instance of hat and the physical is a patient of the process and the entity is a patient of the process, then the physical has the purpose there exists another entity such that the other entity is an instance of attaching and the physical is an instrument for the other entity
(=>     (and         (instance ?DESTR PreciseDestruction)         (patient ?DESTR ?PATIENT))     (hasPurpose ?DESTR         (not             (exists (?DAMAGING ?DAMAGED)                 (and                     (instance ?DAMAGING Damaging)                     (subProcess ?DAMAGING ?DESTR)                     (patient ?DAMAGING ?DAMAGED)                     (not                         (equal ?PATIENT ?DAMAGED)))))))	MilitaryProcesses.kif 637-649	If a process is an instance of precise destruction and an entity is a patient of the process, then the process has the purpose there don't exist another entity and a third entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and the third entity is a patient of the other entity and equal the entity and the third entity
(=>     (and         (instance ?DIO DefensiveInformationOperation)         (agent ?DIO ?AGENT)         (enemy ?AGENT ?ENEMY)         (desires ?ENEMY             (knows ?ENEMY ?FORMULA))         (desires ?AGENT             (not                 (knows ?ENEMY ?FORMULA))))     (hasPurpose ?DIO         (not             (knows ?ENEMY ?FORMULA))))	MilitaryProcesses.kif 1895-1907	If a process is an instance of defensive information operation and a cognitive agent is an agent of the process and the cognitive agent and another cognitive agent are enemies of each other and the other cognitive agent desires the other cognitive agent knows an entity and the cognitive agent desires the other cognitive agent doesn't know the entity, then the process has the purpose the other cognitive agent doesn't know the entity
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