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 2720-2721
(externalImage FreshWater "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg")	pictureList.kif 1766-1766
(roomTempState FreshWater Liquid)	Mid-level-ontology.kif 32724-32724	roomTempState freshwater and liquid
(subclass FreshWater Water)	Geography.kif 2718-2718	Freshwater is a subclass of water

appearance as argument number 2

(subclass DrinkingWater FreshWater)	Geography.kif 2798-2798	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 25062-25062	Tap water is a subclass of freshwater
(termFormat ChineseTraditionalLanguage FreshWater "淡水")	domainEnglishFormat.kif 25061-25061	Tap water is a subclass of freshwater
(termFormat EnglishLanguage FreshWater "freshwater")	domainEnglishFormat.kif 25060-25060	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 27924-27932

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 10457-10470	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 4802-4807	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 11821-11828	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 9585-9593	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 6128-6135	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 3274-3279	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 10403-10415	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 27622-27631	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 2753-2761	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 26757-26765	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: