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



KB Term:  Term intersection
English Word: 

  TapWater

Sigma KEE - TapWater
TapWater(tap water)

appearance as argument number 1
-------------------------


(subclass TapWater FreshWater) Food.kif 269-269 Tap water is a subclass of freshwater
(relatedInternalConcept TapWater DrinkingWater) Food.kif 270-270 Tap water is internally related to potable water
(documentation TapWater EnglishLanguage "TapWater is Water from the tap. It is mostly safe to be consumed by Human in some advanced countries, but it may also contain harmful substance, such as lead which are bad for human health. It is this reason that it is not classfified under DrinkingWater.") Food.kif 271-274 Tap water is internally related to potable water

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


(termFormat EnglishLanguage TapWater "tap water") Food.kif 275-275

antecedent
-------------------------


(=>
    (and
        (instance ?W TapWater)
        (instance ?M Mixture)
        (part ?W ?M)
        (instance ?A Antifreeze)
        (part ?A ?M)
        (attribute ?M Solid)
        (measure ?M
            (MeasureFn ?D CelsiusDegree)))
    (greaterThan 32 ?D))
Cars.kif 1157-1166 If All of the following hold: (1) X is an instance of tap water (2) Y is an instance of mixture (3) X is a part of Y (4) Z is an instance of antifreeze (5) Z is a part of Y (6) solid is an attribute of Y (7) the measure of Y is W celsius degree(s), then 32 is greater than W
(=>
    (instance ?TW TapWater)
    (exists (?LM ?F)
        (and
            (instance ?LM WaterMotion)
            (patient ?LM ?TW)
            (origin ?LM ?F)
            (instance ?F Faucet))))
Food.kif 277-284 If X is an instance of tap water, then there exist Y, Z such that Y is an instance of water motion, X is a patient of Y, Y originates at Z, and Z is an instance of faucet
(=>
    (instance ?TW TapWater)
    (modalAttribute
        (instance ?TW
            (FoodForFn Human)) Likely))
Food.kif 286-290 If X is an instance of tap water, then the statement X is an instance of food for human has the modal force of likely


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners