consequent

(<=>     (instance ?ICE Ice)     (and         (instance ?ICE Water)         (attribute ?ICE Solid)))	Mid-level-ontology.kif 10180-10184	An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG Utilities))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (or                         (instance ?EV Removing)                         (instance ?THING Sewage))                     (patient ?EV ?THING)                     (or                         (instance ?THING Electron)                         (instance ?THING Water)                         (and                             (instance ?THING PureSubstance)                             (capability Combustion patient ?THING)))                     (member ?MEM2 ?ORG)                     (instance ?EV2 FinancialTransaction)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 954-977	If a collection is an instance of organization and utilities 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 exist an object, the process2 and the agent2 such that the agent is an instance of removing or the object is an instance of sewage and the object is a patient of the agent and the object is an instance of electron or the object is an instance of water or the object is an instance of pure substance and the object is capable of doing burning as a patient and the process2 is a member of the collection and the agent2 is an instance of financial transaction and the process2 is an agent of the agent2 and the object is a patient of the agent2
(=>     (and         (instance ?SOLUTION SalineSolution)         (part ?PART ?SOLUTION))     (or         (instance ?PART SodiumChloride)         (instance ?PART Water)))	Mid-level-ontology.kif 9975-9981	If an object is an instance of saline solution and another object is a part of the object, then the other object is an instance of salt or the other object is an instance of water
(=>     (attribute ?X WaterBed)     (exists (?MATTRESS ?WATER)         (and             (component ?MATTRESS ?X)             (contains ?MATTRESS ?WATER)             (instance ?WATER Water))))	Mid-level-ontology.kif 4557-4563	If waterbed is an attribute of a corpuscular object, then there exist another corpuscular object and an object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object contains the object and the object is an instance of water
(=>     (instance ?ALGA Alga)     (exists (?WATER)         (and             (inhabits ?ALGA ?WATER)             (instance ?WATER Water))))	Merge.kif 14593-14598	If an organism is an instance of alga, then there exists an object such that the organism lives in the object and the object is an instance of water
(=>     (instance ?AR AcidRainfall)     (exists (?RAIN ?PH)         (and             (instance ?RAIN Water)             (patient ?AR ?RAIN)             (measure ?RAIN                 (MeasureFn ?PH PHValue))             (lessThan ?PH 5.0))))	Geography.kif 3901-3909	If a process is an instance of acid rainfall, then there exist a physical and a real number such that the physical is an instance of water and the physical is a patient of the process and the measure of the physical is the real number PH value(s) and the real number is less than 5.0
(=>     (instance ?AR AcidRainfall)     (exists (?RAIN ?SO2 ?NO ?NO2)         (and             (instance ?RAIN Water)             (patient ?AR ?RAIN)             (instance ?SO2 SulphurDioxide)             (instance ?NO NitricOxide)             (instance ?NO2 NitrogenDioxide)             (or                 (part ?SO2 ?RAIN)                 (part ?NO ?RAIN)                 (part ?NO2 ?RAIN)))))	Geography.kif 3887-3899	If a process is an instance of acid rainfall, then there exist an object, another object,, , a third object and the third object2 such that the object is an instance of water and the object is a patient of the process and the other object is an instance of sulphur dioxide and the third object is an instance of nitric oxide and the third object2 is an instance of nitrogen dioxide and the other object is a part of the object or the third object is a part of the object or the third object2 is a part of the object
(=>     (instance ?AREA WaterArea)     (exists (?BED ?HOLE ?WATER)         (and             (equal                 (HoleHostFn ?HOLE) ?BED)             (instance ?WATER Water)             (properlyFills ?WATER ?HOLE)             (equal                 (MereologicalSumFn ?BED ?WATER) ?AREA))))	Merge.kif 14299-14306	If an object is an instance of water area, then there exist an integer, a hole and another object such that equal the host of the hole the hole and the integer and the other object is an instance of water and the other object properly fills the hole and equal the union of the parts of the integer and the other object and the object
(=>     (instance ?CLOUD WaterCloud)     (exists (?WATER)         (and             (instance ?WATER Water)             (part ?WATER ?CLOUD))))	Merge.kif 14948-14953	If an object is an instance of water cloud, then there exists another object such that the other object is an instance of water and the other object is a part of the object
(=>     (instance ?CLOUD WaterCloud)     (forall (?PART)         (=>             (and                 (part ?PART ?CLOUD)                 (not                     (instance ?PART Water)))             (exists (?WATER ?MEASURE1 ?MEASURE2 ?U)                 (and                     (instance ?WATER Water)                     (part ?WATER ?CLOUD)                     (measure ?WATER                         (MeasureFn ?MEASURE1 ?U))                     (measure ?PART                         (MeasureFn ?MEASURE2 ?U))                     (greaterThan ?MEASURE1 ?MEASURE2))))))	Merge.kif 14955-14968	If an object is an instance of water cloud, then for all another object if the other object is a part of the object and the other object is not an instance of water, then there exist a third object, a real number,, , another real number and an unit of measure such that the third object is an instance of water and the third object is a part of the object and the measure of the third object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the real number is greater than the other real number
(=>     (instance ?DRIZZLE Drizzling)     (exists (?CLTN ?R ?SIZE)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (member ?R ?CLTN)             (objectTransferred ?DRIZZLE ?CLTN)             (approximateDiameter ?R                 (MeasureFn ?SIZE Millimeter))             (modalAttribute                 (lessThanOrEqualTo ?SIZE 0.5) Likely))))	Weather.kif 4128-4140	If a transfer is an instance of drizzling, then there exist a collection, a self connected object and a real number such that the collection is an instance of collection and the self connected object is an instance of water and the self connected object is an instance of liquid drop and the self connected object is a member of the collection and the object transferred in the transfer is the collection and the approximate diameter of the self connected object is the real number millimeter(s) and the statement the real number is less than or equal to 0.5 has the modal force of likely
(=>     (instance ?FISH Fish)     (exists (?WATER)         (and             (inhabits ?FISH ?WATER)             (instance ?WATER Water))))	Merge.kif 14748-14753	If an organism is an instance of fish, then there exists an object such that the organism lives in the object and the object is an instance of water
(=>     (instance ?FT FishTank)     (hasPurpose ?FT         (exists (?W ?F)             (and                 (instance ?W Water)                 (instance ?F Fish)                 (contains ?FT ?W)                 (contains ?FT ?F)))))	Mid-level-ontology.kif 31397-31405	If a physical is an instance of fish tank, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of water and the other entity is an instance of fish and the physical contains the entity and the physical contains the other entity
(=>     (instance ?Glacier Glacier)     (exists (?Water)         (and             (instance ?Water Water)             (attribute ?Water Solid)             (part ?Water ?Glacier))))	Geography.kif 7540-7546	If an object is an instance of glacier, then there exists another object such that the other object is an instance of water and solid is an attribute of the other object and the other object is a part of the object
(=>     (instance ?M Mud)     (exists (?W)         (and             (instance ?W Water)             (part ?W ?M))))	Cars.kif 5046-5051	If an object is an instance of mud, then there exists another object such that the other object is an instance of water and the other object is a part of the object
(=>     (instance ?MOTION WaterMotion)     (exists (?WATER)         (and             (patient ?MOTION ?WATER)             (instance ?WATER Water))))	Merge.kif 11397-11402	If a process is an instance of water motion, then there exists an entity such that the entity is a patient of the process and the entity is an instance of water
(=>     (instance ?PROCESS Precipitation)     (exists (?STUFF)         (and             (instance ?STUFF Water)             (patient ?PROCESS ?STUFF))))	Merge.kif 11373-11378	If a process is an instance of precipitation, then there exists an entity such that the entity is an instance of water and the entity is a patient of the process
(=>     (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 ?RAIN Raining)     (exists (?CLTN ?R ?CLASS)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (instance ?R ?CLASS)             (member ?R ?CLTN)             (objectTransferred ?RAIN ?CLTN)             (defaultMinimumSphereRadius ?CLASS                 (MeasureFn 0.1 Millimeter))             (defaultMaximumSphereRadius ?CLASS                 (MeasureFn 9.0 Millimeter)))))	Weather.kif 1750-1763	If a transfer is an instance of raining, then there exist a collection, a physical and a kind of object such that the collection is an instance of collection and the physical is an instance of water and the physical is an instance of liquid drop and the physical is an instance of a kind of object and the physical is a member of the collection and the object transferred in the transfer is the collection and the minimum expected radius of the kind of object is 0.1 millimeter(s) and the maximum expected radius of the kind of object is 9.0 millimeter(s)
(=>     (instance ?STEAM Steam)     (exists (?BOIL ?WATER)         (and             (instance ?BOIL Boiling)             (instance ?WATER Water)             (patient ?BOIL ?WATER)             (result ?BOIL ?STEAM)             (attribute ?STEAM Gas))))	Mid-level-ontology.kif 27539-27547	If an object is an instance of steam, then there exist a process and an entity such that the process is an instance of boiling and the entity is an instance of water and the entity is a patient of the process and the object is a result of the process and gas is an attribute of the object
(=>     (instance ?SVC DryCleaningService)     (exists (?CLOTHES ?WATER ?CHEM)         (and             (instance ?CLOTHES Clothing)             (not                 (instrument ?SVC ?WATER))             (instance ?WATER Water)             (instance ?CHEM ChemicalProduct)             (instrument ?SVC ?CHEM)             (patient ?SVC ?CLOTHES)             (result ?SVC                 (attribute ?CLOTHES Clean)))))	Hotel.kif 1820-1830	If a process is an instance of dry-clean, then there exist an entity, an object and another object such that the entity is an instance of clothing and the object is not an instrument for the process and the object is an instance of water and the other object is an instance of chemical product and the other object is an instrument for the process and the entity is a patient of the process and clean is an attribute of the entity is a result of the process
(=>     (instance ?TUB BathTub)     (hasPurpose ?TUB         (exists (?WATER)             (and                 (instance ?WATER Water)                 (contains ?TUB ?WATER)))))	Mid-level-ontology.kif 2517-2523	If a physical is an instance of tub, then the physical has the purpose there exists an entity such that the entity is an instance of water and the physical contains the entity
(=>     (instance ?TUB WhirlpoolTub)     (exists (?VALVE)         (and             (instance ?VALVE PressureControlValve)             (part ?VALVE ?TUB)             (hasPurpose ?VALVE                 (exists (?WATER ?CREATION ?MOTION)                     (and                         (instance ?WATER Water)                         (located ?WATER ?TUB)                         (instance ?CREATION Creation)                         (instrument ?CREATION ?VALVE)                         (result ?CREATION ?MOTION)                         (instance ?MOTION Motion)                         (located ?MOTION ?WATER)))))))	Mid-level-ontology.kif 26936-26951	If an object is an instance of whirlpool tub, then there exists another object such that the other object is an instance of pressure control valve and the other object is a part of the object and the other object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of water and the entity is located at the object and the other entity is an instance of creation and the other object is an instrument for the other entity and the third entity is a result of the other entity and the third entity is an instance of motion and the third entity is located at the entity
(=>     (instance ?X WaterSport)     (exists (?W)         (and             (or                 (instance ?W WaterArea)                 (and                     (instance ?W FluidContainer)                     (exists (?WATER)                         (and                             (instance ?WATER Water)                             (located ?WATER ?W)))))             (eventLocated ?X ?W))))	Sports.kif 1225-1237	If a process is an instance of water sport, then there exists an object such that the object is an instance of water area or the object is an instance of fluid container and there exists the objectATER such that the objectATER is an instance of water and the objectATER is located at the object and the process is located at the object
(=>     (instance ?X WaterVehicle)     (hasPurpose ?X         (exists (?EV ?SURF)             (and                 (instance ?SURF Water)                 (instance ?EV Transportation)                 (holdsDuring                     (WhenFn ?EV)                     (meetsSpatially ?X ?SURF))))))	Mid-level-ontology.kif 3930-3939	If a physical is an instance of water vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of water and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of 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