Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - distance
distance

appearance as argument number 1
-------------------------


s__documentation(s__distance__m,s__ChineseLanguage,'"(distance ?OBJ1 ?OBJ2 ?QUANT) 的意思是两个物体 ?OBJ1 和 ?OBJ2 最短的距离是 ?QUANT。注:谓词 lengthdistance 之间的分别在于,length 是用来表示一个单一物体其中一个维度的 LengthMeasure,而是用来表示两个不同物体之间的LengthMeasure。"')

chinese_format.kif 2655-2657
s__documentation(s__distance__m,s__EnglishLanguage,'"(distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects."')

Merge.kif 7462-7467
s__domain(s__distance__m,n__1,s__Physical)

Merge.kif 7458-7458 The number 1 argument of distance is an instance of physical
s__domain(s__distance__m,n__2,s__Physical)

Merge.kif 7459-7459 The number 2 argument of distance is an instance of physical
s__domain(s__distance__m,n__3,s__LengthMeasure)

Merge.kif 7460-7460 The number 3 argument of distance is an instance of length measure
s__instance(s__distance__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__SetOrClass)

Merge.kif 7454-7454 distance is an instance of single valued relation
s__instance(s__SpatialRelation,s__SetOrClass)

s__instance(s__distance__m,s__SpatialRelation)

Merge.kif 7455-7455 distance is an instance of spatial relation
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__distance__m,s__TernaryPredicate)

Merge.kif 7456-7456 distance is an instance of ternary predicate
s__instance(s__distance__m,s__TotalValuedRelation)

s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 7457-7457 distance is an instance of total valued relation

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__distance__m,'"%1 和 %2 的 distance %n 是 %3"')

chinese_format.kif 621-621
s__format(s__EnglishLanguage,s__distance__m,'"the distance between %1 and %2 is %n %3"')

english_format.kif 627-627
s__subrelation(s__depth__m,s__distance__m)

Merge.kif 7503-7503 depth is a subrelation of distance
s__termFormat(s__ChineseLanguage,s__distance__m,'"距离"')

chinese_format.kif 622-622
s__termFormat(s__ChineseTraditionalLanguage,s__distance__m,'"距離"')

domainEnglishFormat.kif 19928-19928
s__termFormat(s__EnglishLanguage,s__distance__m,'"distance"')

domainEnglishFormat.kif 19927-19927

antecedent
-------------------------


( ! [V__PLACE,V__OBJ,V__AREA,V__WIDTH,V__DISTANCE,V__UNIT] :
   (((s__instance(V__PLACE,s__Region) &
         s__instance(V__OBJ,s__Physical) &
         s__instance(V__AREA,s__Object) &
         s__instance(V__WIDTH,s__RealNumber) &
         s__instance(V__DISTANCE,s__RealNumber) &
         s__instance(V__UNIT,s__UnitOfMeasure))
       =>
       (((s__instance(V__AREA,s__MaritimeClaimsTerritorialSeaFn(V__PLACE))
         &
         s__width(V__AREA,s__MeasureFn(V__WIDTH,V__UNIT))
     &
     s__distance(V__OBJ,V__PLACE,s__MeasureFn(V__DISTANCE,V__UNIT))
&
s__lessThanOrEqualTo(V__DISTANCE,V__WIDTH))
=>
(s__located(V__OBJ,V__AREA)))))
)
)

Geography.kif 873-879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1356-1374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1335-1352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1272-1295
( ! [V__INNER1,V__INNER2,V__WIDTH2,V__OUTER1,V__WIDTH1,V__OUTER2,V__ZONE] :
   (((s__instance(V__INNER1,s__Object) &
         s__instance(V__INNER2,s__Object) &
         s__instance(V__WIDTH2,s__LengthMeasure) &
         s__instance(V__OUTER1,s__Object) &
         s__instance(V__WIDTH1,s__LengthMeasure) &
         s__instance(V__OUTER2,s__Object))
       =>
       (((s__instance(V__ZONE,s__UniformPerimeterArea) &
             s__part(V__INNER1,s__InnerBoundaryFn(V__ZONE))
         &
         s__part(V__OUTER1,s__OuterBoundaryFn(V__ZONE))
     &
     s__distance(V__INNER1,V__OUTER1,V__WIDTH1)
   &
   s__part(V__INNER2,s__InnerBoundaryFn(V__ZONE))
&
s__part(V__OUTER2,s__OuterBoundaryFn(V__ZONE))
&
s__distance(V__INNER2,V__OUTER2,V__WIDTH2))
=>
((V__WIDTH1 = V__WIDTH2)))))
)
)

Geography.kif 836-849
( ! [V__REGION,V__OBJ,V__FAR,V__ZONE,V__UNIT,V__LIMIT] :
   (((s__instance(V__REGION,s__Region) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__FAR,s__RealNumber) &
         s__instance(V__LIMIT,s__RealNumber))
       =>
       (((s__orientation(V__OBJ,V__REGION,s__Outside) &
             s__instance(V__ZONE,s__PerimeterAreaFn(V__REGION))
         &
         s__instance(V__ZONE,s__UniformPerimeterArea) &
         s__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT))
     &
     s__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfMeasure) &
s__greaterThan(s__SubtractionFn(V__FAR,V__LIMIT)
,n__0))
=>
(~(s__located(V__OBJ,V__ZONE))))))
)
)

Geography.kif 862-871
( ! [V__REGION,V__OBJ,V__FAR,V__ZONE,V__UNIT,V__LIMIT] :
   (((s__instance(V__REGION,s__Region) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__FAR,s__RealNumber) &
         s__instance(V__LIMIT,s__RealNumber))
       =>
       (((s__orientation(V__OBJ,V__REGION,s__Outside) &
             s__instance(V__ZONE,s__PerimeterAreaFn(V__REGION))
         &
         s__instance(V__ZONE,s__UniformPerimeterArea) &
         s__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT))
     &
     s__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfMeasure) &
s__lessThanOrEqualTo(s__SubtractionFn(V__FAR,V__LIMIT)
,n__0))
=>
(s__located(V__OBJ,V__ZONE)))))
)
)

Geography.kif 851-860
( ! [V__SOURCE,V__PROCESS,V__DEST,V__MEASURE1,V__PATH1,V__DISTANCE] :
   (((s__instance(V__SOURCE,s__Object) &
         s__instance(V__PROCESS,s__Motion) &
         s__instance(V__DEST,s__Object) &
         s__instance(V__MEASURE1,s__Quantity) &
         s__instance(V__PATH1,s__Object) &
         s__instance(V__DISTANCE,s__LengthMeasure))
       =>
       (((s__path(V__PROCESS,V__PATH1)
           &
           s__origin(V__PROCESS,V__SOURCE)
         &
         s__destination(V__PROCESS,V__DEST)
       &
       s__length(V__PATH1,V__MEASURE1)
     &
     s__distance(V__SOURCE,V__DEST,V__DISTANCE)
   &
   ~(s__greaterThan(V__MEASURE1,V__DISTANCE)))
=>
(( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       ((s__part(V__OBJ,V__PATH1)
         =>
         (s__between(V__SOURCE,V__OBJ,V__DEST)))))))))))
)
)

Merge.kif 10638-10649
( ! [V__O,V__P1,V__P2,V__U,V__E1,V__E2,V__D1] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__P1,s__Object) &
         s__instance(V__P2,s__Object) &
         s__instance(V__E1,s__Object) &
         s__instance(V__E2,s__Object) &
         s__instance(V__D1,s__RealNumber))
       =>
       (((s__physicalEnd(V__E1,V__O)
           &
           s__physicalEnd(V__E2,V__O)
         &
         s__part(V__P1,V__E1)
       &
       s__part(V__P2,V__E2)
     &
     s__instance(V__U,s__UnitOfLength) &
     s__distance(V__P1,V__P2,s__MeasureFn(V__D1,V__U))
&
~((V__E1 = V__E2)))
=>
(~(( ? [V__OP1, V__OP2, V__D2] :
     ((s__instance(V__OP1,s__Object) &
         s__instance(V__OP2,s__Object) &
         s__instance(V__D2,s__RealNumber) &
         (~(s__part(V__OP1,V__E1))
         &
         ~(s__part(V__OP2,V__E2))
       &
       s__distance(V__OP1,V__OP2,s__MeasureFn(V__D2,V__U))
   &
   s__greaterThan(V__D2,V__D1))))))))))
)
)

Mid-level-ontology.kif 1235-1255
( ! [V__P1,V__O,V__P2,V__N2,V__D] :
   (((s__instance(V__P1,s__Object) &
         s__instance(V__O,s__Object) &
         s__instance(V__P2,s__Object) &
         s__instance(V__N2,s__LengthMeasure) &
         s__instance(V__D,s__LengthMeasure))
       =>
       (((s__physicalEnd(V__P1,V__O)
           &
           s__physicalEnd(V__P2,V__O)
         &
         ~((V__P1 = V__P2))
         &
         s__distance(V__P1,V__P2,V__D))
     =>
     (~(( ? [V__OP1, V__OP2] :
           ((s__instance(V__OP1,s__Object) &
               s__instance(V__OP2,s__Object) &
               (s__physicalEnd(V__OP1,V__O)
               &
               s__physicalEnd(V__OP2,V__O)
             &
             ~((V__OP1 = V__OP2))
             &
             s__distance(V__OP1,V__OP2,V__N2)
           &
           s__greaterThan(V__N2,V__D))))))))))
)
)

Merge.kif 17228-17243
No TPTP formula. May not be expressible in strict first order. Merge.kif 17186-17212
( ! [V__OBJ1,V__OBJ2,V__QUANT] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical) &
         s__instance(V__QUANT,s__LengthMeasure))
       =>
       ((s__distance(V__OBJ1,V__OBJ2,V__QUANT)
         =>
         (s__distance(V__OBJ2,V__OBJ1,V__QUANT)))))
)
)

Merge.kif 7469-7471

consequent
-------------------------


( ! [V__LAND,V__WATER,V__DIST] :
   (((s__instance(V__LAND,s__Physical) &
         s__instance(V__WATER,s__Object) &
         s__instance(V__DIST,s__RealNumber))
       =>
       (((s__attribute(V__WATER,s__OpenSea) =>
             (s__instance(V__WATER,s__SaltWaterArea) &
               ~(s__instance(V__WATER,s__LandlockedWater))
               &
               s__distance(V__LAND,V__WATER,s__MeasureFn(V__DIST,s__NauticalMile))
             &
             s__greaterThan(V__DIST,n__5)))
       &
       ((s__instance(V__WATER,s__SaltWaterArea) &
           ~(s__instance(V__WATER,s__LandlockedWater))
           &
           s__distance(V__LAND,V__WATER,s__MeasureFn(V__DIST,s__NauticalMile))
         &
         s__greaterThan(V__DIST,n__5))
     =>
     s__attribute(V__WATER,s__OpenSea)))))
)
)

Geography.kif 4506-4514 Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a real number nautical mile(s) and the real number is greater than 5
( ! [V__OBJECT,V__WIDTH] :
   (((s__instance(V__OBJECT,s__SelfConnectedObject) &
         s__instance(V__WIDTH,s__LengthMeasure))
       =>
       (((s__width(V__OBJECT,V__WIDTH)
           =>
           ( ? [V__SIDE1, V__SIDE2] :
             ((s__instance(V__SIDE1,s__SelfConnectedObject) &
                 s__instance(V__SIDE2,s__SelfConnectedObject) &
                 (s__side(V__SIDE1,V__OBJECT)
                 &
                 s__side(V__SIDE2,V__OBJECT)
               &
               s__distance(V__SIDE1,V__SIDE2,V__WIDTH))))))
   &
   (( ? [V__SIDE1, V__SIDE2] :
       ((s__instance(V__SIDE1,s__SelfConnectedObject) &
           s__instance(V__SIDE2,s__SelfConnectedObject) &
           (s__side(V__SIDE1,V__OBJECT)
           &
           s__side(V__SIDE2,V__OBJECT)
         &
         s__distance(V__SIDE1,V__SIDE2,V__WIDTH)))))
=>
s__width(V__OBJECT,V__WIDTH)))))
)
)

Merge.kif 9364-9370 The width of a self connected object is a length measure if and only if there exist another self connected object and a third self connected object such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the distance between the other self connected object and the third self connected object is the length measure
( ! [V__HEIGHT,V__OBJ1,V__OBJ2] :
   (((s__instance(V__HEIGHT,s__LengthMeasure) &
         s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__Physical))
       =>
       ((s__altitude(V__OBJ1,V__OBJ2,V__HEIGHT)
         =>
         (( ? [V__TOP] :
             ((s__instance(V__TOP,s__SelfConnectedObject) &
                 (s__top(V__TOP,V__OBJ1)
                 &
                 s__distance(V__TOP,V__OBJ2,V__HEIGHT)))))))))
)
)

Merge.kif 7496-7501
( ! [V__Q,V__OBJ1,V__OBJ2] :
   (((s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical))
       =>
       ((s__altitude(V__OBJ1,V__OBJ2,V__Q)
         =>
         (s__distance(V__OBJ1,V__OBJ2,V__Q)))))
)
)

Merge.kif 7473-7475
( ! [V__OBJECT,V__NUM,V__UNIT] :
   ((s__instance(V__NUM,s__RealNumber) =>
       (((s__elevation(V__OBJECT,s__MeasureFn(V__NUM,V__UNIT))
         &
         s__instance(V__UNIT,s__UnitOfLength) &
         s__instance(V__OBJECT,s__LandForm))
       =>
       (( ? [V__HIGHPOINT] :
           ((s__instance(V__HIGHPOINT,s__SelfConnectedObject) &
               (s__top(V__HIGHPOINT,V__OBJECT)
               &
               s__distance(V__HIGHPOINT,s__SeaLevel,s__MeasureFn(V__NUM,V__UNIT))))))))))
)
)

Geography.kif 1893-1901
( ! [V__OBJECT,V__HEIGHT,V__BOTTOM,V__TOP] :
   (((s__instance(V__OBJECT,s__SelfConnectedObject) &
         s__instance(V__HEIGHT,s__LengthMeasure) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject))
       =>
       (((s__height(V__OBJECT,V__HEIGHT)
           &
           s__top(V__TOP,V__OBJECT)
         &
         s__bottom(V__BOTTOM,V__OBJECT))
     =>
     (s__distance(V__TOP,V__BOTTOM,V__HEIGHT)))))
)
)

Merge.kif 9372-9377
No TPTP formula. May not be expressible in strict first order. Cars.kif 1943-1965
No TPTP formula. May not be expressible in strict first order. emotion.kif 1401-1419
No TPTP formula. May not be expressible in strict first order. emotion.kif 1435-1453
No TPTP formula. May not be expressible in strict first order. Military.kif 759-769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16735-16752
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16714-16731
( ! [V__DEST,V__TC] :
   (((s__instance(V__TC,s__TropicalCyclone) &
         s__destination(V__TC,V__DEST)
       &
       s__instance(V__DEST,s__GeographicArea))
     =>
     (~(( ? [V__L, V__SL, V__X] :
           ((s__instance(V__X,s__RealNumber) &
               (s__instance(V__L,s__LandArea) &
                 s__instance(V__SL,s__Shoreline) &
                 s__located(V__DEST,V__L)
               &
               s__distance(V__L,V__SL,s__MeasureFn(V__X,s__Mile))
             &
             s__greaterThan(V__X,n__200))))))))
)
)

Weather.kif 693-706
( ! [V__FINISH,V__START] :
   (((s__instance(V__FINISH,s__Physical) &
         s__instance(V__START,s__Object))
       =>
       (((s__origin(s__AntarcticCircumpolarCurrent,V__START)
           &
           s__destination(s__AntarcticCircumpolarCurrent,V__FINISH))
       =>
       (s__distance(V__START,V__FINISH,s__MeasureFn(n__21000,s__KiloFn(s__Meter)))))))
)
)

Geography.kif 4494-4498
No TPTP formula. May not be expressible in strict first order. Cars.kif 751-768
No TPTP formula. May not be expressible in strict first order. Cars.kif 737-749
( ! [V__O,V__P1,V__P2,V__U,V__E1,V__E2,V__D1] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__P1,s__Object) &
         s__instance(V__P2,s__Object) &
         s__instance(V__E1,s__Object) &
         s__instance(V__E2,s__Object) &
         s__instance(V__D1,s__RealNumber))
       =>
       (((s__physicalEnd(V__E1,V__O)
           &
           s__physicalEnd(V__E2,V__O)
         &
         s__part(V__P1,V__E1)
       &
       s__part(V__P2,V__E2)
     &
     s__instance(V__U,s__UnitOfLength) &
     s__distance(V__P1,V__P2,s__MeasureFn(V__D1,V__U))
&
~((V__E1 = V__E2)))
=>
(~(( ? [V__OP1, V__OP2, V__D2] :
     ((s__instance(V__OP1,s__Object) &
         s__instance(V__OP2,s__Object) &
         s__instance(V__D2,s__RealNumber) &
         (~(s__part(V__OP1,V__E1))
         &
         ~(s__part(V__OP2,V__E2))
       &
       s__distance(V__OP1,V__OP2,s__MeasureFn(V__D2,V__U))
   &
   s__greaterThan(V__D2,V__D1))))))))))
)
)

Mid-level-ontology.kif 1235-1255
( ! [V__P1,V__O,V__P2,V__N2,V__D] :
   (((s__instance(V__P1,s__Object) &
         s__instance(V__O,s__Object) &
         s__instance(V__P2,s__Object) &
         s__instance(V__N2,s__LengthMeasure) &
         s__instance(V__D,s__LengthMeasure))
       =>
       (((s__physicalEnd(V__P1,V__O)
           &
           s__physicalEnd(V__P2,V__O)
         &
         ~((V__P1 = V__P2))
         &
         s__distance(V__P1,V__P2,V__D))
     =>
     (~(( ? [V__OP1, V__OP2] :
           ((s__instance(V__OP1,s__Object) &
               s__instance(V__OP2,s__Object) &
               (s__physicalEnd(V__OP1,V__O)
               &
               s__physicalEnd(V__OP2,V__O)
             &
             ~((V__OP1 = V__OP2))
             &
             s__distance(V__OP1,V__OP2,V__N2)
           &
           s__greaterThan(V__N2,V__D))))))))))
)
)

Merge.kif 17228-17243
( ! [V__A,V__Time,V__B,V__U,V__Distance,V__Observe,V__Area] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__Distance,s__RealNumber) &
         s__instance(V__Area,s__Region))
       =>
       (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U))
         &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__Time,s__DayTime) &
         s__instance(V__Observe,s__Looking) &
         s__instance(V__B,s__Object) &
         s__color(V__B,s__Black) &
         s__agent(V__Observe,V__A)
       &
       s__patient(V__Observe,V__B)
     &
     s__orientation(V__A,V__B,s__Horizontal) &
     s__eventLocated(V__Observe,V__Area)
   &
   s__during(s__WhenFn(V__Observe)
,V__Time)
&
s__instance(V__B,s__Object))
=>
(( ? [V__D2] :
((s__instance(V__D2,s__RealNumber) &
     (s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U))
   &
   s__greaterThan(V__Distance,V__D2)))))))))
)
)

Weather.kif 2721-2741
( ! [V__A,V__Time,V__B,V__U,V__Distance,V__Observe,V__Area] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__Distance,s__RealNumber) &
         s__instance(V__Area,s__Region))
       =>
       (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U))
         &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__Time,s__NightTime) &
         s__instance(V__Observe,s__Looking) &
         s__instance(V__B,s__Region) &
         s__attribute(V__B,s__Illuminated) &
         s__measure(V__B,s__MeasureFn(n__1000,s__Candela))
       &
       s__agent(V__Observe,V__A)
     &
     s__patient(V__Observe,V__B)
   &
   s__orientation(V__A,V__B,s__Horizontal) &
   s__eventLocated(V__Observe,V__Area)
&
s__during(s__WhenFn(V__Observe)
,V__Time)
&
s__instance(V__B,s__Object))
=>
(( ? [V__D2] :
((s__instance(V__D2,s__RealNumber) &
   (s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U))
&
s__greaterThan(V__Distance,V__D2)))))))))
)
)

Weather.kif 2743-2764
( ! [V__Time,V__U,V__Distance,V__Area] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Distance,s__RealNumber) &
         s__instance(V__Area,s__Region))
       =>
       (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U))
         &
         s__instance(V__U,s__UnitOfMeasure))
       =>
       (~(( ? [V__Observe, V__A, V__B, V__D2] :
             ((s__instance(V__A,s__Agent) &
                 s__instance(V__B,s__Object) &
                 s__instance(V__D2,s__RealNumber) &
                 (s__instance(V__Observe,s__Looking) &
                   s__agent(V__Observe,V__A)
                 &
                 s__patient(V__Observe,V__B)
               &
               s__orientation(V__A,V__B,s__Horizontal) &
               s__during(s__WhenFn(V__Observe)
            ,V__Time)
           &
           s__eventLocated(V__Observe,V__Area)
         &
         s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U))
     &
     s__greaterThan(V__D2,V__Distance))))))))))
)
)

Weather.kif 2702-2719
( ! [V__DEPTH,V__OBJ1,V__OBJ2] :
   (((s__instance(V__DEPTH,s__LengthMeasure) &
         s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__Physical))
       =>
       ((s__depth(V__OBJ1,V__OBJ2,V__DEPTH)
         =>
         (( ? [V__BOTTOM] :
             ((s__instance(V__BOTTOM,s__SelfConnectedObject) &
                 (s__bottom(V__BOTTOM,V__OBJ1)
                 &
                 s__distance(V__BOTTOM,V__OBJ2,V__DEPTH)))))))))
)
)

Merge.kif 7518-7523
( ! [V__OBJ1,V__OBJ2,V__QUANT] :
   (((s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical) &
         s__instance(V__QUANT,s__LengthMeasure))
       =>
       ((s__distance(V__OBJ1,V__OBJ2,V__QUANT)
         =>
         (s__distance(V__OBJ2,V__OBJ1,V__QUANT)))))
)
)

Merge.kif 7469-7471
( ! [V__OBJECT,V__HEIGHT] :
   (((s__instance(V__OBJECT,s__Object) &
         s__instance(V__HEIGHT,s__LengthMeasure))
       =>
       ((s__elevation(V__OBJECT,V__HEIGHT)
         =>
         (( ? [V__DATUM] :
             ((s__instance(V__DATUM,s__Object) &
                 (s__properPart(V__DATUM,s__SeaLevel) &
                   s__orientation(V__OBJECT,V__DATUM,s__Vertical) &
                   s__distance(V__OBJECT,V__DATUM,V__HEIGHT)))))))))
)
)

Geography.kif 1885-1891
( ! [V__AREA] :
   ((s__instance(V__AREA,s__UniformPerimeterArea) =>
       (( ? [V__WIDTH] :
           ((s__instance(V__WIDTH,s__LengthMeasure) &
               s__distance(s__InnerBoundaryFn(V__AREA)
            ,s__OuterBoundaryFn(V__AREA)
          ,V__WIDTH))))))
)
)

Geography.kif 824-827

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners