SUMO   View all facts   Glossary   Help
unparented > meetsSpatially
Next unparented: monetaryValue    Up: unparented    Previous unparented: material   

meetsSpatially
subjectfact 
meetsSpatiallydocumentation (meetsSpatially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are connected but that neither ?OBJ1 nor ?OBJ2 overlapsSpatially the other2001-11-30 13:34:41.0
has axiom 
(=> 
 	(and 
 		(instance ?HOLE1 Hole)
             (properPart ?HOLE2 ?HOLE1))
       (exists (?OBJ)
             (and 
 			(meetsSpatially ?HOLE1 ?OBJ)
                   (not 
 				(meetsSpatially ?HOLE2 ?OBJ)))))
2001-11-30 13:34:41.0
has axiom 
(=>
      (connected ?OBJ1 ?OBJ2)
      (or
           (meetsSpatially ?OBJ1 ?OBJ2)
           (overlapsSpatially ?OBJ1 ?OBJ2)))
2001-11-30 13:34:41.0
has axiom 
(=>
      (equal ?OBJ1 (SkinFn ?HOLE))
      (forall (?OBJ2)
 		(<=> 
 			(overlapsSpatially ?OBJ2 ?OBJ1)
 			(exists (?OBJ3)
 				(and 
 				      (superficialPart ?OBJ3 (PrincipalHostFn ?HOLE))
 				      (meetsSpatially ?HOLE ?OBJ3)
 				      (overlapsSpatially ?OBJ2 ?OBJ3))))))
2001-11-30 13:34:41.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:34:41.0
has axiom 
(=>
 	(meetsSpatially ?OBJ1 ?OBJ2)
      	(not
         	(overlapsSpatially ?OBJ1 ?OBJ2)))
2001-11-30 13:34:41.0