SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > connects |
connects comparison table |
Subject | have domain3 | have domain2 | have domain1 | be first domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|---|
SpatialRelation | valence | The Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations | (=> | Relation | ||||
TernaryPredicate | singleValued | The Class of Predicates that require exactly three arguments | (=> | TernaryRelation | ||||
connects | Object | Object | Object | singleValued | The relationship between three things, when one of the three things connects the other two. More formally, (connects ?OBJ1 ?OBJ2 ?OBJ3) means that (connected ?OBJ1 ?OBJ2) and (connected ?OBJ1 ?OBJ3) and not (connected ?OBJ2 ?OBJ3) | (=> | TernaryPredicate |
Next SpatialRelation: distance Up: SpatialRelation, TernaryPredicate Previous SpatialRelation: connected