*connected* | *documentation* (*connected* ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2 | |

**has axiom** (*<=>* (*instance* ?OBJ SelfConnectedObject) (forall (?PART1 ?PART2) (=> (*equal* ?OBJ (*MereologicalSumFn* ?PART1 ?PART2)) (*connected* ?PART1 ?PART2))))
| |

**has axiom** (*<=>* (*connects* ?OBJ1 ?OBJ2 ?OBJ3) (*and* (*connected* ?OBJ1 ?OBJ2) (*connected* ?OBJ1 ?OBJ3) (*not* (*connected* ?OBJ2 ?OBJ3))))
| |

**has axiom** (=> (completelyFills ?OBJ1 ?HOLE) (forall (?OBJ2) (=> (*connected* ?OBJ2 ?HOLE) (*connected* ?OBJ2 ?OBJ1))))
| |

**has axiom** (=> (*and* (*properlyFills* ?OBJ1 ?HOLE) (*connected* ?OBJ2 ?OBJ1)) (*connected* ?HOLE ?OBJ2))
| |

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

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

**has axiom** (=> (*instance* ?JUNCT BodyJunction) (exists (?STRUCT1 ?STRUCT2) (*and* (*connected* ?JUNCT ?STRUCT1) (*connected* ?JUNCT ?STRUCT2) (*instance* ?STRUCT1 AnatomicalStructure) (*instance* ?STRUCT2 AnatomicalStructure) (*not* (*equal* ?STRUCT1 ?STRUCT2)))))
| |

**has axiom** (=> (*above* ?OBJ1 ?OBJ2) (*not* (*connected* ?OBJ1 ?OBJ2)))
| |

**has axiom** (=> (*adjacent* ?OBJ1 ?OBJ2) (or (*near* ?OBJ1 ?OBJ2) (*connected* ?OBJ1 ?OBJ2)))
| |

**has axiom** (=> (*and* (*instance* ?IMPACT Impacting) (instrument ?IMPACT ?INST) (*patient* ?IMPACT ?PLACE)) (*holdsDuring* (*WhenFn* ?IMPACT) (*connected* ?INST ?PLACE)))
| |

**has axiom** (=> (*and* (*instance* ?TOUCH Touching) (agent ?TOUCH ?AGENT) (*patient* ?TOUCH ?OBJ)) (*holdsDuring* (*WhenFn* ?TOUCH) (*connected* ?AGENT ?OBJ)))
| |

**has axiom** (=> (*below* ?OBJ1 ?OBJ2) (*not* (*connected* ?OBJ1 ?OBJ2)))
| |

**has axiom** (=> (*crosses* ?OBJ1 ?OBJ2) (*not* (*connected* ?OBJ1 ?OBJ2)))
| |

**has domain1** Object | |

**has domain2** Object | |

**is an ***instance* of BinaryPredicate | |

**is an ***instance* of ReflexiveRelation | |

**is an ***instance* of SpatialRelation | |

**is an ***instance* of SymmetricRelation | |

BinaryRelation | **is first ***domain* of *DomainFn* | |

**is first ***domain* of *equivalenceRelationOn* | |

**is first ***domain* of *inverse* | |

**is first ***domain* of *irreflexiveOn* | |

**is first ***domain* of *partialOrderingOn* | |

**is first ***domain* of *RangeFn* | |

**is first ***domain* of *reflexiveOn* | |

**is first ***domain* of *totalOrderingOn* | |

**is first ***domain* of *trichotomizingOn* | |

**is second ***domain* of *inverse* | |

Predicate | **is first ***domain* of *singleValued* | |

Relation | **is first ***domain* of *domain* | |

**is first ***domain* of *domainSubclass* | |

**is first ***domain* of *holds* | |

**is first ***domain* of *subrelation* | |

**is first ***domain* of *valence* | |

**is second ***domain* of *subrelation* | |

Class | **is third ***domain* of *domain* | |

**is third ***domain* of *domainSubclass* | |

Abstract | **is ***disjoint* from Physical | |