FreshWater - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FreshWater EnglishLanguage "FreshWater is the subclass of Water that has low soluble mineral content. See also DrinkingWater.")	Geography.kif 2732-2733
(externalImage FreshWater "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg")	pictureList.kif 1767-1767
(roomTempState FreshWater Liquid)	Mid-level-ontology.kif 31866-31866	roomTempState freshwater and liquid
(subclass FreshWater Water)	Geography.kif 2730-2730	Freshwater is a subclass of water

appearance as argument number 2

(subclass DrinkingWater FreshWater)	Geography.kif 2810-2810	Potable water is a subclass of freshwater
(subclass TapWater FreshWater)	Food.kif 268-268	Tap water is a subclass of freshwater
(termFormat ChineseLanguage FreshWater "淡水")	domainEnglishFormat.kif 25068-25068	Tap water is a subclass of freshwater
(termFormat ChineseTraditionalLanguage FreshWater "淡水")	domainEnglishFormat.kif 25067-25067	Tap water is a subclass of freshwater
(termFormat EnglishLanguage FreshWater "freshwater")	domainEnglishFormat.kif 25066-25066	Tap water is a subclass of freshwater

antecedent

(=>
    (and
        (instance ?X HeatedPool)
        (contains ?X ?WATER)
        (instance ?WATER FreshWater)
        (part ?X ?HEATER)
        (instance ?HEATER WaterHeater)
        (attribute ?HEATER DeviceOn))
    (attribute ?WATER WarmTemperature))

Mid-level-ontology.kif 27093-27101

If a self connected object is an instance of heated pool and the self connected object contains an object and the object is an instance of freshwater and the self connected object is a part of another object and the other object is an instance of water heater and device on is an attribute of the other object,
then warm is an attribute of the object

consequent

(=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W FreshWater) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem)))))	Mid-level-ontology.kif 9779-9792	If an object is an instance of plant and another object is a part of the object, then there exist a process, an entity and another kind of process such that the process is an instance of another kind of process and the other kind of process is a subclass of keeping and the entity is an instance of freshwater and the entity is a patient of the process and the other object is capable of doing the other kind of process as a instrument and the other object is an instance of plant leaf or the other object is an instance of plant stem
(=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F FreshWater))	Mid-level-ontology.kif 4729-4734	If a self connected object is an instance of swimming pool and the self connected object contains an object and the object is an instance of fluid, then the object is an instance of freshwater
(=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER FreshWater) (origin ?REMOVE ?BEVERAGE))))	Mid-level-ontology.kif 11143-11150	If an object is an instance of distilled alcoholic beverage, then there exist a process and an entity such that the process is an instance of removing and the entity is a patient of the process and the entity is an instance of freshwater and the process originates at the object
(=> (instance ?OIL Oil) (not (exists (?MIX ?WATER) (and (instance ?MIX Mixture) (part ?WATER ?MIX) (instance ?WATER FreshWater) (part ?OIL ?MIX)))))	Mid-level-ontology.kif 9030-9038	If an object is an instance of oil, then there don't exist another object and a third object such that the other object is an instance of mixture and the third object is a part of the other object and the third object is an instance of freshwater and the object is a part of the other object
(=> (instance ?P Washing) (exists (?D ?W) (and (instance ?D Detergent) (instrument ?P ?D) (instance ?W FreshWater) (instrument ?P ?W))))	Mid-level-ontology.kif 5573-5580	If a process is an instance of washing, then there exist an object and another object such that the object is an instance of detergent and the object is an instrument for the process and the other object is an instance of freshwater and the other object is an instrument for the process
(=> (instance ?P WatercolorPaint) (exists (?W) (and (instance ?W FreshWater) (part ?W ?P))))	Mid-level-ontology.kif 3201-3206	If an object is an instance of watercolor paint, then there exists another object such that the other object is an instance of freshwater and the other object is a part of the object
(=> (instance ?ROOT PlantRoot) (hasPurpose ?ROOT (exists (?TRAN ?STUFF ?HOST) (and (instance ?TRAN Transfer) (instrument ?TRAN ?ROOT) (origin ?TRAN ?HOST) (orientation ?HOST ?ROOT Outside) (objectTransferred ?TRAN ?STUFF) (or (instance ?STUFF FreshWater) (instance ?STUFF Nutrient))))))	Mid-level-ontology.kif 9725-9737	If a physical is an instance of plant root, 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 entity originates at the third entity and the third entity is outside to the physical and the object transferred in the entity is the other entity and the other entity is an instance of freshwater or the other entity is an instance of nutrient
(=> (instance ?SOAK Soaking) (exists (?WATER ?OBJ) (and (instance ?OBJ Object) (patient ?SOAK ?OBJ) (instance ?WATER FreshWater) (resource ?SOAK ?WATER) (holdsDuring ?SOAK (orientation ?OBJ ?WATER Surrounded)))))	Mid-level-ontology.kif 26791-26800	If a process is an instance of soaking, then there exist an object and an entity such that the entity is an instance of object and the entity is a patient of the process and the object is an instance of freshwater and the object is a resource for the process and the entity is surrounded to the object holds during the process
(=> (instance ?WP WaterPump) (hasPurpose ?WP (exists (?T ?W) (and (instance ?T Transfer) (instance ?W FreshWater) (objectTransferred ?T ?W) (instrument ?T ?WP)))))	Cars.kif 2752-2760	If a physical is an instance of water pump, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and the other entity is an instance of freshwater and the object transferred in the entity is the other entity and the physical is an instrument for the entity
(=> (instance ?X WaterHeater) (hasPurpose ?X (exists (?HEAT ?WATER) (and (instance ?HEAT Heating) (instance ?WATER FreshWater) (patient ?HEAT ?WATER) (instrument ?HEAT ?X)))))	Mid-level-ontology.kif 25926-25934	If a physical is an instance of water heater, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of heating and the other entity is an instance of freshwater and the other entity is a patient of the entity and the physical is an instrument for the entity

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

KB Term:			Term intersection

English Word: