consequent

(<=>     (manner ?P Harmless)     (and         (not             (instance ?P Damaging))         (not             (exists (?P2)                 (and                     (instance ?P2 Damaging)                     (subProcess ?P2 ?P))))         (not             (exists (?P2)                 (and                     (instance ?P2 Damaging)                     (causes ?P ?P2))))))	Mid-level-ontology.kif 32200-32214	A process is performed in the manner harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
(=>     (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 ?ATTACK Attack)         (agent ?ATTACK ?AGENT)         (patient ?ATTACK ?OBJ))     (hasPurposeForAgent ?ATTACK         (exists (?DAMAGE)             (and                 (instance ?DAMAGE Damaging)                 (patient ?DAMAGE ?OBJ))) ?AGENT))	Merge.kif 13585-13594	If a process is an instance of attack and an agent is an agent of the process 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 damaging and the entity is a patient of the other entity for the agent
(=>     (and         (instance ?B Bleeding)         (experiencer ?B ?H))     (exists (?VA ?D)         (and             (or                 (instance ?VA Vein)                 (instance ?VA Artery))             (part ?VA ?H)             (instance ?D Damaging)             (earlier                 (WhenFn ?D)                 (WhenFn ?B))             (patient ?D ?VA))))	Medicine.kif 80-94	If a process is an instance of bleeding and an agent experiences the process, then there exist an object and another process such that the object is an instance of vein or the object is an instance of artery and the object is a part of the agent and the other process is an instance of damaging and the time of existence of the other process happens earlier than the time of existence of the process and the object is a patient of the other process
(=>     (and         (instance ?DEFENSE DefensiveManeuver)         (agent ?DEFENSE ?AGENT))     (hasPurposeForAgent ?DEFENSE         (not             (exists (?DAMAGE)                 (and                     (instance ?DAMAGE Damaging)                     (patient ?DAMAGE ?AGENT)))) ?AGENT))	Merge.kif 13607-13616	If a process is an instance of defensive maneuver and an agent is an agent of the process, then the process has the purpose there doesn't exist an entity such that the entity is an instance of damaging and the agent is a patient of the entity for the agent
(=>     (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 618-630	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 ?GUN Gun)         (instance ?U UnitOfLength)         (effectiveRange ?GUN             (MeasureFn ?LM ?U))         (distance ?GUN ?O             (MeasureFn ?LM1 ?U))         (not             (exists (?O2)                 (between ?O ?O2 ?GUN)))         (lessThanOrEqualTo ?LM1 ?LM))     (exists (?DAMAGING)         (capability             (KappaFn ?DAMAGING                 (and                     (instance ?DAMAGING Damaging)                     (patient ?DAMAGING ?O))) instrument ?GUN)))	Mid-level-ontology.kif 1612-1630	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
(=>     (and         (instance ?P Poison)         (instance ?I Ingesting)         (moves ?I ?P)         (experiencer ?I ?H))     (exists (?D)         (and             (instance ?D Damaging)             (experiencer ?D ?H)             (causes ?I ?D))))	Mid-level-ontology.kif 9801-9811	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then there exists a process such that the process is an instance of damaging and the agent experiences the process and the motion causes the process
(=>     (and         (instance ?REPAIR Repairing)         (patient ?REPAIR ?OBJ))     (exists (?DAMAGE)         (and             (instance ?DAMAGE Damaging)             (patient ?DAMAGE ?OBJ)             (earlier                 (WhenFn ?DAMAGE)                 (WhenFn ?REPAIR)))))	Merge.kif 12401-12409	If a process is an instance of repairing and an entity is a patient of the process, then there exists another process such that the other process is an instance of damaging and the entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process
(=>     (and         (instance ?S Sunburn)         (experiencer ?S ?H))     (exists (?D ?SKIN)         (and             (instance ?D Damaging)             (instrument ?D Sol)             (instance ?SKIN Skin)             (part ?SKIN ?H)             (patient ?D ?SKIN))))	Mid-level-ontology.kif 12330-12340	If a process is an instance of sunburn and an agent experiences the process, then there exist another process and the processKIN such that the other process is an instance of damaging and sol is an instrument for the other process and the processKIN is an instance of skin and the processKIN is a part of the agent and the processKIN is a patient of the other process
(=>     (and         (instance ?T ShipContainer)         (capacity ?T             (MeasureFn ?X ?U))         (instance ?X UnitOfMass)         (contains ?T ?O)         (weight ?O             (MeasureFn ?Y ?U))         (lessThan ?Y ?X))     (modalAttribute         (not             (exists (?D)                 (and                     (instance ?D Damaging)                     (patient ?D ?T)))) Likely))	Transportation.kif 2828-2843	If a self connected object is an instance of ship container and a real number an unit of measure(s) is a capacity of the self connected object and the real number is an instance of unit of mass and the self connected object contains another self connected object and another real number the unit of measure(s) is a weight of the other self connected object and the other real number is less than the real number, then the statement there doesn't exist an entity such that the entity is an instance of damaging and the self connected object is a patient of the entity has the modal force of likely
(=>     (and         (instance ?T Transportation)         (transported ?T ?C)         (attribute ?C ?H)         (instance ?H HazardousMaterialTransportAttribute))     (holdsDuring ?T         (modalAttribute             (exists (?D)                 (and                     (instance ?D Damaging)                     (resource ?D ?C))) Possibility)))	Transportation.kif 4111-4122	If a transportation is an instance of transportation and an object is transported during the transportation and an attribute is an attribute of the object and the attribute is an instance of hazardous material transport attribute, then the statement there exists an entity such that the entity is an instance of damaging and the object is a resource for the entity has the modal force of possibility holds during the transportation
(=>     (and         (instance ?WEAPON HighPrecisionWeapon)         (instrument ?DESTR ?WEAPON)         (patient ?DESTR ?PATIENT))     (hasPurpose ?WEAPON         (not             (exists (?DAMAGING ?DAMAGED)                 (and                     (instance ?DAMAGING Damaging)                     (subProcess ?DAMAGING ?DESTR)                     (patient ?DAMAGING ?DAMAGED)                     (not                         (equal ?PATIENT ?DAMAGED)))))))	MilitaryProcesses.kif 641-654	If an object is an instance of high precision weapon and the object is an instrument for a process and an entity is a patient of the process, then the object 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 ?X CarAlarm)         (instance ?CAR SelfPoweredRoadVehicle)         (part ?X ?CAR))     (exists (?HARM ?THIEF ?T ?L)         (hasPurpose ?X             (=>                 (and                     (or                         (instance ?HARM Stealing)                         (instance ?HARM Damaging))                     (instance ?THIEF Human)                     (agent ?HARM ?THIEF)                     (patient ?HARM ?CAR)                     (equal                         (WhenFn ?HARM) ?T)                     (eventPartlyLocated ?HARM ?L))                 (exists (?ALARM)                     (and                         (instance ?ALARM RadiatingSound)                         (agent ?ALARM ?X)                         (causes ?HARM ?ALARM)                         (hasPurpose ?ALARM                             (increasesLikelihood                                 (exists (?WITNESS)                                     (and                                         (instance ?WITNESS Human)                                         (holdsDuring ?T                                             (orientation ?WITNESS ?L Near))))                                 (or                                     (knows ?WITNESS                                         (exists (?H)                                             (and                                                 (or                                                     (instance ?H Stealing)                                                     (instance ?H Damaging))                                                 (eventPartlyLocated ?H ?L)                                                 (holdsDuring ?T                                                     (patient ?H ?CAR)))))                                     (finishes                                         (WhenFn ?ALARM)                                         (WhenFn ?HARM)))))))))))	Cars.kif 3771-3812	If an object is an instance of car alarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then there exist an entity, another entity,, , a third entity and a fourth entity such that the object has the purpose if the entity is an instance of stealing or the entity is an instance of damaging and the other entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and equal the time of existence of the entity and the third entity and the entity is partly located at the fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity has the purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
(=>     (attribute ?D DeviceDamaged)     (exists (?DAM)         (and             (instance ?DAM Damaging)             (patient ?DAM ?D)             (not                 (exists (?R)                     (and                         (instance ?R Repairing)                         (patient ?R ?D)                         (earlier                             (WhenFn ?DAM)                             (WhenFn ?R))))))))	Mid-level-ontology.kif 31350-31361	If device damaged is an attribute of an object, then there exists the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process
(=>     (attribute ?D DeviceNormal)     (not         (exists (?DAM)             (and                 (instance ?DAM Damaging)                 (patient ?DAM ?D)                 (not                     (exists (?R)                         (and                             (instance ?R Repairing)                             (patient ?R ?D)                             (earlier                                 (WhenFn ?DAM)                                 (WhenFn ?R)))))))))	Mid-level-ontology.kif 31322-31334	If device normal is an attribute of an object, then there doesn't exist the objectAM such that the objectAM is an instance of damaging and the object is a patient of the objectAM and there doesn't exist another process such that the other process is an instance of repairing and the object is a patient of the other process and the time of existence of the objectAM happens earlier than the time of existence of the other process
(=>     (attribute ?G HazardousGases)     (and         (instance ?G Substance)         (attribute ?G Gas)         (capability Combustion resource ?G)         (capability Damaging resource ?G)         (capability Corrosion resource ?G)))	Transportation.kif 4138-4145	If hazardous gases is an attribute of an object, then the object is an instance of substance and gas is an attribute of the object and the object is capable of doing burning as a resource and the object is capable of doing damaging as a resource and the object is capable of doing corrosion as a resource
(=>     (hazardous ?A ?B)     (modalAttribute         (exists (?D)             (and                 (instance ?D Damaging)                 (patient ?D ?B)                 (or                     (involvedInEvent ?D ?A)                     (causes ?A ?D)))) Possibility))	Geography.kif 7491-7500	If a physical is hazardous to an object, then the statement there exists an entity such that the entity is an instance of damaging and the object is a patient of the entity and the physical is an involved in event of the entity or the physical causes the entity has the modal force of possibility
(=>     (holdsDuring ?T         (attribute ?H Antivaxxer))     (believes ?H         (exists (?V ?D)             (and                 (instance ?V Vaccination)                 (instance ?D Damaging)                 (causes ?V ?D)))))	Medicine.kif 3824-3832	If anti-vaxxer is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes there exist an entity and another entity such that the entity is an instance of vaccination and the other entity is an instance of damaging and the entity causes the other entity
(=>     (holdsDuring ?T         (attribute ?O Undamaged))     (not         (exists (?D)             (and                 (instance ?D Damaging)                 (patient ?D ?O)                 (earlier                     (WhenFn ?D) ?T)))))	Mid-level-ontology.kif 32098-32106	If undamaged is an attribute of an entity holds during a time interval, then there doesn't exist a process such that the process is an instance of damaging and the entity is a patient of the process and the time of existence of the process happens earlier than the time interval
(=>     (instance ?AGENT BlisterAgent)     (hasPurpose ?AGENT         (exists (?DAMAGE ?TISSUE)             (and                 (instance ?DAMAGE Damaging)                 (instance ?TISSUE Tissue)                 (patient ?DAMAGE ?TISSUE)))))	WMD.kif 483-490	If a physical is an instance of blister agent, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is an instance of tissue and the other entity is a patient of the entity
(=>     (instance ?ATTACK BiochemicalAttack)     (hasPurpose ?ATTACK         (exists (?DAMAGE ?ORGANISM)             (and                 (instance ?DAMAGE Damaging)                 (patient ?DAMAGE ?ORGANISM)                 (causes ?ATTACK ?DAMAGE)                 (instance ?ORGANISM Organism)))))	WMD.kif 70-78	If a physical is an instance of biochemical attack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is a patient of the entity and the physical causes the entity and the other entity is an instance of organism
(=>     (instance ?ED ExplosiveDevice)     (hasPurpose ?ED         (exists (?E ?D)             (and                 (instance ?E Explosion)                 (instrument ?E ?ED)                 (causes ?E ?D)                 (instance ?D Damaging)))))	Mid-level-ontology.kif 19383-19391	If a physical is an instance of explosive device, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the physical is an instrument for the entity and the entity causes the other entity and the other entity is an instance of damaging
(=>     (instance ?EXPLOSION Explosion)     (capability Damaging instrument ?EXPLOSION))	Mid-level-ontology.kif 17219-17221	If an object is an instance of explosion, then the object is capable of doing damaging as a instrument
(=>     (instance ?INJ Injuring)     (and         (instance ?INJ Damaging)         (exists (?ORGANISM)             (and                 (instance ?ORGANISM Organism)                 (patient ?INJ ?ORGANISM)))))	Merge.kif 10600-10607	If a process is an instance of injuring, then the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process
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)

Show without tree

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