overlapsSpatially | *documentation* (overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 *and* ?OBJ2 have some parts in common. This is a reflexive *and* symmetric (but *not* transitive) relation | |

**has axiom** (*<=>* (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (*and* (*part* ?OBJ3 ?OBJ1) (*part* ?OBJ3 ?OBJ2))))
| |

**has axiom** (=> (*and* (*fills* ?OBJ1 ?HOLE) (attribute ?OBJ2 *Fillable*)) (*not* (overlapsSpatially ?OBJ1 ?OBJ2)))
| |

**has axiom** (=> (*and* (hole ?HOLE ?OBJ1) (*part* ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2)))
| |

**has axiom** (=> (*and* (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2))
| |

**has axiom** (=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ)))
| |

**has axiom** (=> (*connected* ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2)))
| |

**has axiom** (=> (*equal* ?OBJ1 (*PrincipalHostFn* ?HOLE)) (forall (?OBJ2) (*<=>* (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (*and* (hole ?HOLE ?OBJ3) (*instance* ?OBJ3 SelfConnectedObject) (overlapsSpatially ?OBJ2 ?OBJ3))))))
| |

**has axiom** (=> (*equal* ?OBJ1 (*SkinFn* ?HOLE)) (forall (?OBJ2) (*<=>* (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (*and* (superficialPart ?OBJ3 (*PrincipalHostFn* ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3))))))
| |

**has axiom** (=> (forall (?OBJ3) (=> (*part* ?OBJ3 ?OBJ1) (overlapsSpatially ?OBJ3 ?OBJ2))) (*part* ?OBJ1 ?OBJ2))
| |

**has axiom** (=> (*and* (*instance* ?REL CaseRole) (*holds* ?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (*WhereFn* ?PROCESS ?TIME) ?OBJ)))
| |

**has axiom** (=> (*and* (*member* ?OBJ1 ?COLL) (*member* ?OBJ2 ?COLL)) (*not* (overlapsSpatially ?OBJ1 ?OBJ2)))
| |

**has axiom** (=> (attribute ?OBJ *Wet*) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?WATER) (*and* (*instance* ?WATER Water) (or (overlapsSpatially ?WATER ?PART) (meetsSpatially ?WATER ?PART)))))))
| |

**has axiom** (=> (partlyLocated ?OBJ ?REGION) (overlapsSpatially ?OBJ ?REGION))
| |

**has axiom** (=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (*not* (overlapsSpatially ?OBJ1 ?PART)))))
| |

**has axiom** (=> (meetsSpatially ?OBJ1 ?OBJ2) (not (overlapsSpatially ?OBJ1 ?OBJ2)))
| |