SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > distance
Next SpatialRelationfills    UpSpatialRelation, TernaryPredicate    Previous SpatialRelationconnects   

distancedocumentation (distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT2001-11-30 13:34:04.0
has arg3 valence singleValued2001-11-30 13:34:04.0
has domain1 Physical2001-11-30 13:34:04.0
has domain2 Physical2001-11-30 13:34:05.0
has domain3 LengthMeasure2001-11-30 13:34:05.0
is an instance of SpatialRelation2001-11-30 13:34:05.0
is an instance of TernaryPredicate2001-11-30 13:34:05.0
SpatialRelationhas axiom
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
2001-11-30 13:35:18.0
TernaryPredicatehas axiom
(instance ?REL TernaryPredicate)
(valence ?REL 3))
2001-11-30 13:35:25.0
Relationis first domain of domain2001-11-30 13:35:10.0
is first domain of domainSubclass2001-11-30 13:35:10.0
is first domain of holds2001-11-30 13:35:10.0
is first domain of subrelation2001-11-30 13:35:10.0
is first domain of valence2001-11-30 13:35:10.0
is second domain of subrelation2001-11-30 13:35:10.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next SpatialRelationfills    UpSpatialRelation, TernaryPredicate    Previous SpatialRelationconnects