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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " f/ fc/ Water_droplet_blue_bg05.jpg") pictureList.kif 1767-1767
(roomTempState FreshWater Liquid) Mid-level-ontology.kif 31601-31601 roomTempState 淡水 and 液体
(subclass FreshWater Water) Geography.kif 2730-2730 淡水subclass

appearance as argument number 2

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


        (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 26829-26837


        (instance ?P Plant)
        (part ?TIS ?P))
    (exists (?K ?W ?CLASS)
            (instance ?K ?CLASS)
            (subclass ?CLASS Keeping)
            (instance ?W FreshWater)
            (patient ?K ?W)
            (capability ?CLASS instrument ?TIS)
                (instance ?TIS PlantLeaf)
                (instance ?TIS PlantStem)))))
Mid-level-ontology.kif 9561-9574
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F FreshWater))
Mid-level-ontology.kif 4734-4739
    (instance ?BEVERAGE DistilledAlcoholicBeverage)
    (exists (?REMOVE ?WATER)
            (instance ?REMOVE Removing)
            (patient ?REMOVE ?WATER)
            (instance ?WATER FreshWater)
            (origin ?REMOVE ?BEVERAGE))))
Mid-level-ontology.kif 10925-10932
    (instance ?OIL Oil)
        (exists (?MIX ?WATER)
                (instance ?MIX Mixture)
                (part ?WATER ?MIX)
                (instance ?WATER FreshWater)
                (part ?OIL ?MIX)))))
Mid-level-ontology.kif 8812-8820
    (instance ?P Washing)
    (exists (?D ?W)
            (instance ?D Detergent)
            (instrument ?P ?D)
            (instance ?W FreshWater)
            (instrument ?P ?W))))
Mid-level-ontology.kif 5579-5586
    (instance ?P WatercolorPaint)
    (exists (?W)
            (instance ?W FreshWater)
            (part ?W ?P))))
Mid-level-ontology.kif 3208-3213
    (instance ?ROOT PlantRoot)
    (hasPurpose ?ROOT
        (exists (?TRAN ?STUFF ?HOST)
                (instance ?TRAN Transfer)
                (instrument ?TRAN ?ROOT)
                (origin ?TRAN ?HOST)
                (orientation ?HOST ?ROOT Outside)
                (objectTransferred ?TRAN ?STUFF)
                    (instance ?STUFF FreshWater)
                    (instance ?STUFF Nutrient))))))
Mid-level-ontology.kif 9507-9519
    (instance ?SOAK Soaking)
    (exists (?WATER ?OBJ)
            (instance ?OBJ Object)
            (patient ?SOAK ?OBJ)
            (instance ?WATER FreshWater)
            (resource ?SOAK ?WATER)
            (holdsDuring ?SOAK
                (orientation ?OBJ ?WATER Surrounded)))))
Mid-level-ontology.kif 26527-26536
    (instance ?WP WaterPump)
    (hasPurpose ?WP
        (exists (?T ?W)
                (instance ?T Transfer)
                (instance ?W FreshWater)
                (objectTransferred ?T ?W)
                (instrument ?T ?WP)))))
Cars.kif 2769-2777
    (instance ?X WaterHeater)
    (hasPurpose ?X
        (exists (?HEAT ?WATER)
                (instance ?HEAT Heating)
                (instance ?WATER FreshWater)
                (patient ?HEAT ?WATER)
                (instrument ?HEAT ?X)))))
Mid-level-ontology.kif 25662-25670

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