consequent

(=>     (and         (instance ?ATTR PhysicalState)         (attribute ?OBJ ?ATTR))     (instance ?OBJ Substance))	Merge.kif 17756-17760	If an attribute is an instance of physical state and the attribute is an attribute of an object, then the object is an instance of substance
(=>     (and         (instance ?C Curdling)         (patient ?C ?X)         (instance ?X Colloid))     (exists (?S ?A)         (and             (instance ?S Separating)             (subProcess ?S ?C)             (patient ?S ?X)             (result ?S ?A)             (piece ?A ?X)             (instance ?A Substance))))	Food.kif 3206-3218	If a process is an instance of curdling and a substance is a patient of the process and the substance is an instance of colloid, then there exist another process and another substance such that the other process is an instance of separating and the other process is a subprocess of the process and the substance is a patient of the other process and the other substance is a result of the other process and the other substance is a piece of the substance and the other substance is an instance of substance
(=>     (and         (instance ?LD LiquidDrop)         (surface ?S ?LD))     (modalAttribute         (exists (?SS ?LL)             (and                 (instance ?LL Substance)                 (attribute ?LL Liquid)                 (not                     (equal ?LD ?LL))                 (surface ?SS ?LL)                 (meetsSpatially ?S ?SS))) Unlikely))	Geography.kif 9067-9079	If a self connected object is an instance of liquid drop and another self connected object is a surface of the self connected object, then the statement there exist the other self connected objectS and another entity such that the other entity is an instance of substance and liquid is an attribute of the other entity and equal the self connected object and the other entity and the other self connected objectS is a surface of the other entity and the other self connected object meets the other self connected objectS has the modal force of unlikely
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG PipelineTransportation))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?T ?V ?OBJ ?PIPE)                             (and                                 (instance ?T Transportation)                                 (possesses ?P ?OBJ)                                 (patient ?T ?OBJ)                                 (instance ?OBJ Substance)                                 (possesses ?ORG ?V)                                 (instrument ?T ?PIPE)                                 (instance ?PIPE Pipeline))) ?MEM ?P))))))	naics.kif 8465-8488	If a collection is an instance of organization and pipeline transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity,, , a third entity and the cognitive agentIPE such that the entity is an instance of transportation and the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of substance and the collection possesses the other entity and the cognitive agentIPE is an instrument for the entity and the cognitive agentIPE is an instance of pipeline
(=>     (and         (instance ?X Substance)         (attribute ?X Insoluble))     (not         (modalAttribute             (exists (?Y ?Z)                 (and                     (instance ?Y Substance)                     (instance ?Z Solution)                     (piece ?X ?Z)                     (piece ?Y ?Z))) Possibility)))	Geography.kif 8950-8962	If an object is an instance of substance and insoluble is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of substance and the other entity is an instance of solution and the object is a piece of the other entity and the entity is a piece of the other entity doesn't have the modal force of possibility
(=>     (and         (instance ?X Substance)         (attribute ?X Soluble))     (modalAttribute         (exists (?Y ?Z)             (and                 (instance ?Y Substance)                 (instance ?Z Solution)                 (piece ?X ?Z)                 (piece ?Y ?Z))) Possibility))	Geography.kif 8922-8933	If an object is an instance of substance and soluble is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of substance and the other entity is an instance of solution and the object is a piece of the other entity and the entity is a piece of the other entity has the modal force of possibility
(=>     (attribute ?G FlammableLiquid)     (and         (instance ?G Substance)         (attribute ?G Liquid)         (attribute ?G Flammable)))	Transportation.kif 4153-4158	If flammable liquid is an attribute of an object, then the object is an instance of substance and liquid is an attribute of the object and flammable is an attribute of the object
(=>     (attribute ?G FlammableSolid)     (and         (instance ?G Substance)         (attribute ?G Solid)         (attribute ?G Flammable)))	Transportation.kif 4165-4170	If flammable solid is an attribute of an object, then the object is an instance of substance and solid is an attribute of the object and flammable is an attribute of the object
(=>     (attribute ?G HazardousGases)     (and         (instance ?G Substance)         (attribute ?G Gas)         (capability Combustion resource ?G)         (capability Damaging resource ?G)         (capability Corrosion resource ?G)))	Transportation.kif 4139-4146	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
(=>     (instance ?C Colander)     (hasPurpose ?C         (exists (?MIX ?SUB ?SOLID ?REMOVE)             (and                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (part ?SUB ?MIX)                 (attribute ?SUB Liquid)                 (instance ?REMOVE Removing)                 (patient ?REMOVE ?SUB)                 (instance ?SOLID Substance)                 (part ?SOLID ?MIX)                 (attribute ?SOLID Solid)                 (result ?REMOVE ?SOLID)                 (instrument ?REMOVE ?C)))))	Mid-level-ontology.kif 5015-5030	If a physical is an instance of colander, 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 mixture and the other entity is an instance of substance and the other entity is a part of the entity and liquid is an attribute of the other entity and the fourth entity is an instance of removing and the other entity is a patient of the fourth entity and the third entity is an instance of substance and the third entity is a part of the entity and solid is an attribute of the third entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
(=>     (instance ?C Corrosion)     (exists (?S ?R ?P)         (and             (instance ?S Substance)             (patient ?C ?S)             (instance ?R Removing)             (patient ?R ?P)             (part ?P ?S)             (result ?C ?R))))	Transportation.kif 4260-4269	If a process is an instance of corrosion, then there exist an object, another process and another object such that the object is an instance of substance and the object is a patient of the process and the other process is an instance of removing and the other object is a patient of the other process and the other object is a part of the object and the other process is a result of the process
(=>     (instance ?DETERGENT Detergent)     (hasPurpose ?DETERGENT         (exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)             (and                 (instance ?REMOVE Removing)                 (instance ?SUBSTANCE Substance)                 (patient ?REMOVE ?SUBSTANCE)                 (origin ?REMOVE ?SURFACE)                 (surface ?SURFACE ?OBJECT)))))	Mid-level-ontology.kif 10049-10058	If a physical is an instance of detergent, 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 removing and the other entity is an instance of substance and the other entity is a patient of the entity and the entity originates at the third entity and the third entity is a surface of the fourth entity
(=>     (instance ?H Hydrometer)     (hasPurpose ?H         (exists (?M ?S)             (and                 (instance ?M Measuring)                 (instance ?S Substance)                 (attribute ?S Liquid)                 (patient ?M ?S)                 (instrument ?M ?H)))))	Cars.kif 3110-3119	If a physical is an instance of hydrometer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of measuring and the other entity is an instance of substance and liquid is an attribute of the other entity and the other entity is a patient of the entity and the physical is an instrument for the entity
(=>     (instance ?I Inflating)     (exists (?G1 ?G2 ?V1 ?V2 ?S ?U)         (and             (instance ?G1 ?S)             (instance ?G2 ?S)             (instance ?S Substance)             (attribute ?G1 Gas)             (attribute ?G2 Gas)             (instance ?U UnitOfVolume)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?I))                 (measure ?G1                     (MeasureFn ?V1 ?U)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?I))                 (measure ?G2                     (MeasureFn ?V2 ?U)))             (greaterThan ?V2 ?V1))))	Cars.kif 3667-3683	If a physical is an instance of inflating, then there exist an object, another object,, , a real number,, , another real number,, , a class and an entity such that the object is an instance of the class and the other object is an instance of the class and the class is an instance of substance and gas is an attribute of the object and gas is an attribute of the other object and the entity is an instance of unit of volume and the measure of the object is the real number the entity(s) holds during immediately before the time of existence of the physical and the measure of the other object is the other real number the entity(s) holds during immediately after the time of existence of the physical and the other real number is greater than the real number
(=>     (instance ?OBJ CorpuscularObject)     (exists (?SUBSTANCE1 ?SUBSTANCE2)         (and             (subclass ?SUBSTANCE1 Substance)             (subclass ?SUBSTANCE2 Substance)             (material ?SUBSTANCE1 ?OBJ)             (material ?SUBSTANCE2 ?OBJ)             (not                 (equal ?SUBSTANCE1 ?SUBSTANCE2)))))	Merge.kif 1241-1249	If a corpuscular object is an instance of corpuscular object, then there exist a kind of substance and another kind of substance such that a kind of substance is a subclass of substance and another kind of substance is a subclass of substance and the corpuscular object is made of the kind of substance and the corpuscular object is made of the other kind of substance and equal the kind of substance and the other kind of substance
(=>     (instance ?PD PaintingDevice)     (hasPurpose ?PD         (exists (?STUFF ?COVER ?SURF ?OBJ)             (and                 (instance ?STUFF Substance)                 (instance ?COVER Covering)                 (instance ?OBJ Object)                 (surface ?SURF ?OBJ)                 (agent ?COVER ?PD)                 (instrument ?COVER ?STUFF)                 (patient ?COVER ?SURF)))))	Mid-level-ontology.kif 3705-3716	If a physical is an instance of painting device, 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 substance and the other entity is an instance of covering and the fourth entity is an instance of object and the third entity is a surface of the fourth entity and the physical is an agent of the other entity and the entity is an instrument for the other entity and the third entity is a patient of the other entity
(=>     (instance ?POUR Pouring)     (exists (?LIQUID ?CONTAINER1 ?CONTAINER2)         (and             (origin ?POUR ?CONTAINER1)             (destination ?POUR ?CONTAINER2)             (instance ?CONTAINER1 Container)             (instance ?CONTAINER2 Container)             (not                 (equal ?CONTAINER1 ?CONTAINER2))             (patient ?POUR ?LIQUID)             (attribute ?LIQUID Liquid)             (instance ?LIQUID Substance))))	Mid-level-ontology.kif 19075-19086	If a process is an instance of pouring, then there exist an object, another object and an entity such that the process originates at the other object and the process ends up at the entity and the other object is an instance of container and the entity is an instance of container and equal the other object and the entity and the object is a patient of the process and liquid is an attribute of the object and the object is an instance of substance
(=>     (instance ?PW PurifiedWater)     (exists (?R ?W ?S)         (and             (instance ?R Removing)             (origin ?R ?W)             (instance ?W Water)             (patient ?R ?S)             (instance ?S Substance)             (part ?S ?W)             (result ?R ?PW))))	Food.kif 248-258	If an entity is an instance of purified water, then there exist a process, an object and another object such that the process is an instance of removing and the process originates at the object and the object is an instance of water and the other object is a patient of the process and the other object is an instance of substance and the other object is a part of the object and the entity is a result of the process
(=>     (instance ?PW PurifiedWater)     (not         (exists (?S)             (and                 (part ?S ?PW)                 (instance ?S Substance)))))	Food.kif 260-266	If an object is an instance of purified water, then there doesn't exist another object such that the other object is a part of the object and the other object is an instance of substance
(=>     (instance ?S Sauce)     (exists (?X)         (and             (instance ?X Substance)             (part ?X ?S)             (attribute ?X Liquid))))	Food.kif 2074-2080	If an object is an instance of sauce, then there exists another object such that the other object is an instance of substance and the other object is a part of the object and liquid is an attribute of the other object
(=>     (instance ?S Sieve)     (hasPurpose ?S         (exists (?REMOVE ?MIX ?SUB ?HOLE ?A)             (and                 (instance ?REMOVE Removing)                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (part ?SUB ?MIX)                 (patient ?REMOVE ?SUB)                 (part ?HOLE ?S)                 (instrument ?REMOVE ?HOLE)                 (instance ?A Human)                 (agent ?REMOVE ?A)                 (not                     (desires ?A ?SUB))))))	Mid-level-ontology.kif 4973-4988	If a physical is an instance of sieve, then the physical has the purpose there exist an entity, another entity,, , the physicalUB,, , a fourth entity and a fifth entity such that the entity is an instance of removing and the other entity is an instance of mixture and the physicalUB is an instance of substance and the physicalUB is a part of the other entity and the physicalUB is a patient of the entity and the fourth entity is a part of the physical and the fourth entity is an instrument for the entity and the fifth entity is an instance of human and the fifth entity is an agent of the entity and the fifth entity doesn't desire the physicalUB
(=>     (instance ?S Spark)     (exists (?E ?G)         (and             (instance ?E Electricity)             (patient ?S ?E)             (instance ?G Substance)             (attribute ?G Gas)             (eventLocated ?S ?G))))	Cars.kif 424-432	If a process is an instance of spark, then there exist an entity and an object such that the entity is an instance of electricity and the entity is a patient of the process and the object is an instance of substance and gas is an attribute of the object and the process is located at the object
(=>     (instance ?S Strainer)     (hasPurpose ?S         (exists (?MIX ?SUB ?LIQUID ?REMOVE)             (and                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (instance ?LIQUID Substance)                 (part ?SUB ?MIX)                 (attribute ?SUB Solid)                 (instance ?REMOVE Removing)                 (part ?LIQUID ?MIX)                 (attribute ?LIQUID Liquid)                 (patient ?REMOVE ?SUB)                 (result ?REMOVE ?LIQUID)                 (instrument ?REMOVE ?S)))))	Mid-level-ontology.kif 4994-5009	If a physical is an instance of strainer, then the physical has the purpose there exist an entity, the physicalUB,, , a third entity and a fourth entity such that the entity is an instance of mixture and the physicalUB is an instance of substance and the third entity is an instance of substance and the physicalUB is a part of the entity and solid is an attribute of the physicalUB and the fourth entity is an instance of removing and the third entity is a part of the entity and liquid is an attribute of the third entity and the physicalUB is a patient of the fourth entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
(=>     (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 ?SUBSTANCE SyntheticSubstance)     (exists (?PROCESS)         (and             (instance ?PROCESS IntentionalProcess)             (result ?PROCESS ?SUBSTANCE)             (instance ?SUBSTANCE Substance))))	Merge.kif 1082-1088	If an entity is an instance of synthetic substance, then there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance
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