(=>     (instance ?ACC AirConditioningCondenser)     (hasPurpose ?ACC         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ACC)))))	Cars.kif 2059-2065	If a physical is an instance of air conditioning condenser, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
(=>     (instance ?ACE AirConditioningEvaporator)     (hasPurpose ?ACE         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ACE)))))	Cars.kif 2083-2089	If a physical is an instance of air conditioning evaporator, then the physical has the purpose there exists an entity such that the entity is an instance of cooling and the physical is an instrument for the entity
(=>     (instance ?ACE AirConditioningEvaporator)     (hasPurpose ?ACE         (exists (?E)             (and                 (instance ?E Evaporating)                 (instrument ?E ?ACE)))))	Cars.kif 2091-2097	If a physical is an instance of air conditioning evaporator, then the physical has the purpose there exists an entity such that the entity is an instance of evaporating and the physical is an instrument for the entity
(=>     (instance ?ACTION TouchSurfaceDoubleFingerSlide)     (exists (?FINGER1 ?FINGER2)         (and             (instrument ?ACTION ?FINGER1)             (instance ?FINGER1 Finger)             (instrument ?ACTION ?FINGER2)             (not                 (equal ?FINGER1 ?FINGER2))             (instance ?FINGER2 Finger))))	ComputerInput.kif 1567-1575	If a process is an instance of touch surface double finger slide, then there exist an object and another object such that the object is an instrument for the process and the object is an instance of finger and the other object is an instrument for the process and the object is not equal to the other object and the other object is an instance of finger
(=>     (instance ?AERATOR Aerator)     (hasPurpose ?AERATOR         (exists (?COMBINE ?AIR)             (and                 (instance ?COMBINE Combining)                 (resource ?COMBINE ?AIR)                 (instance ?AIR Air)                 (instrument ?COMBINE ?AERATOR)))))	Mid-level-ontology.kif 1886-1894	If a physical is an instance of aerator, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of combining and the other entity is a resource for the entity and the other entity is an instance of air and the physical is an instrument for the entity
(=>     (instance ?AG AnimalGuiding)     (exists (?A ?C ?H)         (and             (instance ?A Animal)             (agent ?AG ?H)             (instance ?C Carrying)             (agent ?C ?A)             (objectTransferred ?C ?H)             (instrument ?AG ?A))))	Mid-level-ontology.kif 4345-4354	If a process is an instance of animal guiding, then there exist an agent, a transfer and another agent such that the agent is an instance of animal and the other agent is an agent of the process and the transfer is an instance of carrying and the agent is an agent of the transfer and the object transferred in the transfer is the other agent and the agent is an instrument for the process
(=>     (instance ?AGENT ChemicalAgent)     (not         (exists (?ORGANISM ?PROCESS ?SUBSTANCE)             (and                 (instance ?ORGANISM Organism)                 (instance ?PROCESS BiologicalProcess)                 (instrument ?PROCESS ?ORGANISM)                 (result ?PROCESS ?SUBSTANCE)                 (copy ?SUBSTANCE ?AGENT)))))	WMD.kif 464-473	If an object is an instance of chemical agent, then there don't exist another object, a process and a third object such that the other object is an instance of organism and the process is an instance of biological process and the other object is an instrument for the process and the third object is a result of the process and the third object is a copy of the object
(=>     (instance ?AGENT LifeThreateningAgent)     (capability Killing instrument ?AGENT))	WMD.kif 1013-1015	If an object is an instance of life threatening agent, then the object is capable of doing killing as a instrument
(=>     (instance ?ANTENNA Antenna)     (capability RadioEmission instrument ?ANTENNA))	Mid-level-ontology.kif 15827-15829	If an object is an instance of antenna, then the object is capable of doing radio emission as a instrument
(=>     (instance ?AP AirPump)     (hasPurpose ?AP         (exists (?T ?A)             (and                 (instance ?T Transportation)                 (instance ?A Air)                 (instrument ?T ?AP)                 (patient ?T ?A)))))	Mid-level-ontology.kif 25500-25508	If a physical is an instance of air pump, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the other entity is an instance of air and the physical is an instrument for the entity and the other entity is a patient of the entity
(=>     (instance ?AR AirReconnaissance)     (exists (?AIRCRAFT)         (and             (instance ?AIRCRAFT Aircraft)             (instrument ?AR ?AIRCRAFT))))	MilitaryProcesses.kif 736-741	If a process is an instance of air reconnaissance, then there exists an object such that the object is an instance of aircraft and the object is an instrument for the process
(=>     (instance ?AR AmphibiousReconnaissance)     (exists (?AMPHCRAFT)         (and             (instance ?AMPHCRAFT AmphibiousVehicle)             (instrument ?AR ?AMPHCRAFT))))	MilitaryProcesses.kif 773-778	If a process is an instance of amphibious reconnaissance, then there exists an object such that the object is an instance of amphibious vehicle and the object is an instrument for the process
(=>     (instance ?ARTIFACT GameArtifact)     (exists (?GAME)         (and             (subclass ?GAME Game)             (capability ?GAME instrument ?ARTIFACT))))	Mid-level-ontology.kif 16980-16985	If an object is an instance of game artifact, then there exists a kind of process such that a kind of process is a subclass of game and the object is capable of doing the kind of process as a instrument
(=>     (instance ?ATV AllTerrainVehicle)     (hasPurpose ?ATV         (exists (?D ?L)             (and                 (instance ?D Transportation)                 (instrument ?D ?ATV)                 (holdsDuring                     (WhenFn ?D)                     (orientation ?ATV ?L On))                 (not                     (instance ?L Roadway))))))	Cars.kif 4776-4786	If a physical is an instance of all-terrain vehicle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the physical is on to the other entity holds during the time of existence of the entity and the other entity is not an instance of roadway
(=>     (instance ?B Baking)     (exists (?O)         (and             (instance ?O Oven)             (instrument ?B ?O))))	Food.kif 1462-1467	If a process is an instance of baking, then there exists an object such that the object is an instance of oven and the object is an instrument for the process
(=>     (instance ?B Ballot)     (hasPurpose ?B         (exists (?V)             (and                 (instance ?V Voting)                 (instrument ?V ?B)))))	Mid-level-ontology.kif 14498-14504	If a physical is an instance of ballot, then the physical has the purpose there exists an entity such that the entity is an instance of voting and the physical is an instrument for the entity
(=>     (instance ?B Bandage)     (hasPurpose ?B         (exists (?TP ?C)             (and                 (instance ?TP TherapeuticProcess)                 (instance ?C Covering)                 (subProcess ?C ?TP)                 (instrument ?C ?B)))))	Mid-level-ontology.kif 5689-5697	If a physical is an instance of bandage, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of therapeutic process and the other entity is an instance of covering and the other entity is a subprocess of the entity and the physical is an instrument for the other entity
(=>     (instance ?B BaseballBat)     (hasPurpose ?B         (exists (?H)             (and                 (instance ?H BaseballHit)                 (instrument ?H ?B)))))	Sports.kif 640-646	If a physical is an instance of baseball bat, then the physical has the purpose there exists an entity such that the entity is an instance of baseball hit and the physical is an instrument for the entity
(=>     (instance ?B Baton)     (hasPurpose ?B         (exists (?M ?G)             (and                 (instance ?M MusicalPerformance)                 (instance ?G Guiding)                 (subProcess ?G ?M)                 (instrument ?G ?B)))))	Mid-level-ontology.kif 2853-2861	If a physical is an instance of baton, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of musical performance and the other entity is an instance of guiding and the other entity is a subprocess of the entity and the physical is an instrument for the other entity
(=>     (instance ?B Bolt)     (hasPurpose ?B         (exists (?A ?N)             (and                 (instance ?A Attaching)                 (instance ?N MechanicalNut)                 (instrument ?A ?B)                 (instrument ?A ?N)))))	Cars.kif 4180-4188	If a physical is an instance of bolt, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of attaching and the other entity is an instance of nut and the physical is an instrument for the entity and the other entity is an instrument for the entity
(=>     (instance ?B Bomber)     (hasPurpose ?B         (exists (?T ?D)             (and                 (instance ?T Transportation)                 (instrument ?T ?B)                 (patient ?T ?D)                 (instance ?D ExplosiveDevice)))))	Military.kif 177-185	If a physical is an instance of bomber, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of explosive device
(=>     (instance ?B Brake)     (hasPurpose ?B         (exists (?D)             (and                 (instance ?D Decelerating)                 (instrument ?D ?B)))))	Cars.kif 544-550	If a physical is an instance of brake, then the physical has the purpose there exists an entity such that the entity is an instance of decelerating and the physical is an instrument for the entity
(=>     (instance ?B Broom)     (hasPurpose ?B         (exists (?S)             (and                 (instance ?S Sweeping)                 (instrument ?S ?B)))))	Mid-level-ontology.kif 1912-1918	If a physical is an instance of broom, then the physical has the purpose there exists an entity such that the entity is an instance of sweeping and the physical is an instrument for the entity
(=>     (instance ?B BrushOrComb)     (hasPurpose ?B         (exists (?S)             (and                 (or                     (instance ?S Removing)                     (instance ?S SurfaceChange))                 (instrument ?S ?B)))))	Mid-level-ontology.kif 1924-1932	If a physical is an instance of brush or comb, then the physical has the purpose there exists an entity such that the entity is an instance of removing or the entity is an instance of surface change and the physical is an instrument for the entity
(=>     (instance ?B Bullet)     (hasPurpose ?B         (exists (?S ?GUN)             (and                 (instance ?S Shooting)                 (instrument ?S ?GUN)                 (instance ?GUN Gun)                 (patient ?S ?B)))))	Mid-level-ontology.kif 1184-1192	If a physical is an instance of bullet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the other entity is an instrument for the entity and the other entity is an instance of gun and the physical is a patient of the entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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