SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > Substance > Water
Next Substance: BiologicallyActiveSubstance    Up: Substance    Previous Substance: Mineral   

Water
subjectfact 
Waterdocumentation The Class of samples of the compound H20. Note that this Class covers both pure and impure Water2001-11-30 13:35:33.0
has axiom 
(=>
    (attribute ?OBJ Anhydrous)
    (not
       (exists (?WATER)
          (and
             (instance ?WATER Water)
             (part ?WATER ?OBJ)))))
2001-11-30 13:35:33.0
has axiom 
(=>
    (attribute ?OBJ Wet)
    (forall (?PART)
       (=>
          (part ?PART ?OBJ)
          (exists (?WATER)
             (and
                (instance ?WATER Water)
                (or
                   (overlapsSpatially ?WATER ?PART)
                   (meetsSpatially ?WATER ?PART)))))))
2001-11-30 13:35:33.0
has axiom 
(=>
 	(instance ?ALGA Alga)
 	(exists (?WATER)
 		(and
 			(inhabits ?ALGA ?WATER)
 			(instance ?WATER Water))))
2001-11-30 13:35:33.0
has axiom 
(=>
 	(instance ?FISH Fish)
 	(exists (?WATER)
 		(and
 			(inhabits ?FISH ?WATER)
 			(instance ?WATER Water))))
2001-11-30 13:35:34.0
is a kind of Substance2001-11-30 13:35:34.0
Substanceis first domain of material2001-11-30 13:35:21.0
is first domain of piece2001-11-30 13:35:21.0
is second domain of piece2001-11-30 13:35:21.0
Objectis disjoint from Process2001-11-30 13:34:50.0
is third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0