SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > connects |
connects | ||||
subject | fact |
connects | documentation 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) | |
has axiom (<=> | ||
has axiom (=> | ||
has axiom (=> | ||
has domain1 Object | ||
has domain2 Object | ||
has domain3 Object | ||
is an instance of SpatialRelation | ||
is an instance of TernaryPredicate | ||
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 | ||
Predicate | is first domain of singleValued | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next SpatialRelation: distance Up: SpatialRelation, TernaryPredicate Previous SpatialRelation: connected