Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FreshWater

Sigma KEE - FreshWater
FreshWater

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 31633-31633 roomTempState FreshWater and Liquid
(subclass FreshWater Water) Geography.kif 2730-2730 FreshWater è una sottoclasse di Acqua

appearance as argument number 2
-------------------------


(subclass DrinkingWater FreshWater) Geography.kif 2810-2810 DrinkingWater è una sottoclasse di FreshWater
(subclass TapWater FreshWater) Food.kif 268-268 TapWater è una sottoclasse di FreshWater
(termFormat ChineseLanguage FreshWater "淡水") domainEnglishFormat.kif 25034-25034
(termFormat ChineseTraditionalLanguage FreshWater "淡水") domainEnglishFormat.kif 25033-25033
(termFormat EnglishLanguage FreshWater "freshwater") domainEnglishFormat.kif 25032-25032

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 26862-26870

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 9588-9601
(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F FreshWater))
Mid-level-ontology.kif 4729-4734
(=>
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
        (and
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER FreshWater)
            (origin ?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 10952-10959
(=>
    (instance ?OIL Oil)
    (not
        (exists (?MIX ?WATER)
            (and
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER FreshWater)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8839-8847
(=>
    (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
(=>
    (instance ?P WatercolorPaint)
    (exists (?W)
        (and
            (instance ?W FreshWater)
            (part ?W ?P))))
Mid-level-ontology.kif 3201-3206
(=>
    (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 9534-9546
(=>
    (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 26560-26569
(=>
    (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
(=>
    (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 25695-25703


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