SUMO   View all facts   Glossary   Help
unparented > overlapsSpatially
Next unparented: partition    Up: unparented    Previous unparented: overlapsPartially   

overlapsSpatially
subjectfact 
overlapsSpatiallydocumentation (overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation2001-11-30 13:34:54.0
has axiom 
(<=>
 	(overlapsSpatially ?OBJ1 ?OBJ2)
      	(exists (?OBJ3)
           	(and
                	(part ?OBJ3 ?OBJ1)
                	(part ?OBJ3 ?OBJ2))))
2001-11-30 13:34:54.0
has axiom 
(=> 
 	(and 
 		(fills ?OBJ1 ?HOLE)
            	(attribute ?OBJ2 Fillable))
       (not 
 		(overlapsSpatially ?OBJ1 ?OBJ2)))
2001-11-30 13:34:54.0
has axiom 
(=> 
 	(and 
 		(hole ?HOLE ?OBJ1)
             (part ?OBJ1 ?OBJ2))
       (or
 		(overlapsSpatially ?HOLE ?OBJ2)
             (hole ?HOLE ?OBJ2)))
2001-11-30 13:34:54.0
has axiom 
(=> 
 	(and 
 		(hole ?HOLE1 ?OBJ1)
             (hole ?HOLE2 ?OBJ2)
             (overlapsSpatially ?HOLE1 ?HOLE2))
       (overlapsSpatially ?OBJ1 ?OBJ2))
2001-11-30 13:34:54.0
has axiom 
(=> 
 	(hole ?HOLE ?OBJ)
           (not 
 		 (overlapsSpatially ?HOLE ?OBJ)))
2001-11-30 13:34:54.0
has axiom 
(=>
      (connected ?OBJ1 ?OBJ2)
      (or
           (meetsSpatially ?OBJ1 ?OBJ2)
           (overlapsSpatially ?OBJ1 ?OBJ2)))
2001-11-30 13:34:54.0
has axiom 
(=>
      (equal ?OBJ1 (PrincipalHostFn ?HOLE))
      (forall (?OBJ2)
 		(<=> 
 			(overlapsSpatially ?OBJ2 ?OBJ1)
 			(exists (?OBJ3)
 				(and 
 					(hole ?HOLE ?OBJ3)
 				      (instance ?OBJ3 SelfConnectedObject)
 				      (overlapsSpatially ?OBJ2 ?OBJ3))))))
2001-11-30 13:34:54.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:54.0
has axiom 
(=>
      (forall (?OBJ3)
           (=>
                (part ?OBJ3 ?OBJ1)
                (overlapsSpatially ?OBJ3 ?OBJ2)))
      (part ?OBJ1 ?OBJ2))
2001-11-30 13:34:54.0
has axiom 
(=>
    (and
       (instance ?REL CaseRole)
       (holds ?REL ?PROCESS ?OBJ))
    (exists (?TIME)
       (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ)))
2001-11-30 13:34:54.0
has axiom 
(=>
    (and
       (member ?OBJ1 ?COLL)
       (member ?OBJ2 ?COLL))
    (not
          (overlapsSpatially ?OBJ1 ?OBJ2)))
2001-11-30 13:34:54.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:54.0
has axiom 
(=>
    (partlyLocated ?OBJ ?REGION)
    (overlapsSpatially ?OBJ ?REGION))
2001-11-30 13:34:54.0
has axiom 
(=>
 	(interiorPart ?OBJ1 ?OBJ2)
      	(forall (?PART)
                	(=> 
                     	(superficialPart ?PART ?OBJ2)
                     	(not
                          	(overlapsSpatially ?OBJ1 ?PART)))))
2001-11-30 13:34:54.0
has axiom 
(=>
 	(meetsSpatially ?OBJ1 ?OBJ2)
      	(not
         	(overlapsSpatially ?OBJ1 ?OBJ2)))
2001-11-30 13:34:54.0

Next unparented: partition    Up: unparented    Previous unparented: overlapsPartially