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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - top
top

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


s__documentation(s__top__m,s__ChineseLanguage,'"(top ?TOP ?OBJECT)的意思是 ?TOP 是 ?OBJECT 最高的最大 的表面部分。"')

chinese_format.kif 2845-2846
s__documentation(s__top__m,s__EnglishLanguage,'"(top ?TOP ?OBJECT) means that ?TOP is the highest maximal superficial part of ?OBJECT."')

Merge.kif 9341-9342
s__domain(s__top__m,n__1,s__SelfConnectedObject)

Merge.kif 9338-9338 The number 1 argument of top is an instance of self connected object
s__domain(s__top__m,n__2,s__SelfConnectedObject)

Merge.kif 9339-9339 The number 2 argument of top is an instance of self connected object
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__top__m,s__BinaryPredicate)

Merge.kif 9337-9337 top is an instance of binary predicate
s__subrelation(s__top__m,s__superficialPart__m)

Merge.kif 9336-9336 top is a subrelation of superficial part

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


s__format(s__ChineseLanguage,s__top__m,'"%1 %n 是 %2 的 top"')

chinese_format.kif 389-389
s__format(s__EnglishLanguage,s__top__m,'"the top of %2 is %n %1"')

english_format.kif 395-395
s__termFormat(s__ChineseLanguage,s__top__m,'"上"')

domainEnglishFormat.kif 58415-58415
s__termFormat(s__ChineseLanguage,s__top__m,'"顶部"')

chinese_format.kif 390-390
s__termFormat(s__ChineseTraditionalLanguage,s__top__m,'"上"')

domainEnglishFormat.kif 58414-58414
s__termFormat(s__EnglishLanguage,s__top__m,'"top"')

domainEnglishFormat.kif 58413-58413

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


( ! [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 9382-9387
( ! [V__BOTTOM,V__U,V__WIDTH2,V__WIDTH1,V__TOP,V__BOTTLE] :
   (((s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__WIDTH2,s__RealNumber) &
         s__instance(V__WIDTH1,s__RealNumber) &
         s__instance(V__TOP,s__SelfConnectedObject))
       =>
       (((s__instance(V__BOTTLE,s__Bottle) &
             s__bottom(V__BOTTOM,V__BOTTLE)
           &
           s__top(V__TOP,V__BOTTLE)
         &
         s__instance(V__U,s__UnitOfLength) &
         s__width(V__BOTTOM,s__MeasureFn(V__WIDTH1,V__U))
     &
     s__width(V__TOP,s__MeasureFn(V__WIDTH2,V__U)))
=>
(s__lessThan(V__WIDTH2,V__WIDTH1)))))
)
)

Mid-level-ontology.kif 4415-4425
( ! [V__Mesa,V__Top] :
   ((s__instance(V__Top,s__SelfConnectedObject) =>
       (((s__instance(V__Mesa,s__Mesa) &
             s__top(V__Top,V__Mesa))
         =>
         (s__attribute(V__Top,s__FlatTerrain)))))
   )
)

Geography.kif 3997-4001
( ! [V__Top,V__Plateau] :
   ((s__instance(V__Top,s__SelfConnectedObject) =>
       (((s__instance(V__Plateau,s__Plateau) &
             s__top(V__Top,V__Plateau))
         =>
         (s__attribute(V__Top,s__FlatTerrain)))))
   )
)

Geography.kif 3978-3982
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16789-16794
( ! [V__TOP,V__SEA] :
   ((s__instance(V__TOP,s__SelfConnectedObject) =>
       (((s__instance(V__SEA,s__Sea) &
             s__top(V__TOP,V__SEA))
         =>
         (s__altitude(V__TOP,s__SeaLevel,s__MeasureFn(n__0,s__FootLength))))))
)
)

Geography.kif 4562-4566
( ! [V__TOP,V__SEA] :
   ((s__instance(V__TOP,s__SelfConnectedObject) =>
       (((s__instance(V__SEA,s__Sea) &
             s__top(V__TOP,V__SEA))
         =>
         (s__altitude(V__TOP,s__SeaLevel,s__MeasureFn(n__0,s__Meter))))))
)
)

Geography.kif 4556-4560
( ! [V__top,V__butte] :
   ((s__instance(V__top,s__SelfConnectedObject) =>
       (((s__instance(V__butte,s__Butte) &
             s__top(V__top,V__butte))
         =>
         (s__attribute(V__top,s__FlatTerrain)))))
   )
)

Geography.kif 4020-4024
( ! [V__O,V__S,V__TOP] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__S,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject))
       =>
       (((s__top(V__TOP,V__O)
           &
           s__side(V__S,V__O))
       =>
       (~((V__TOP = V__S))))))
)
)

Merge.kif 9367-9372
( ! [V__OBJECT,V__TOP,V__PART] :
   (((s__instance(V__OBJECT,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__PART,s__Object))
       =>
       (((s__top(V__TOP,V__OBJECT)
           &
           s__part(V__PART,V__OBJECT)
         &
         ~(s__connected(V__PART,V__TOP)))
     =>
     (s__orientation(V__PART,V__TOP,s__Below)))))
)
)

Merge.kif 9344-9349

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


( ! [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 7504-7509
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16789-16794
( ! [V__A,V__R,V__T,V__TRAN] :
   (((s__instance(V__T,s__Tornado) &
         s__instance(V__R,s__Rotating) &
         s__instance(V__A,s__Air) &
         s__instance(V__TRAN,s__Translocation) &
         s__subProcess(V__R,V__T)
       &
       s__subProcess(V__TRAN,V__R)
     &
     s__patient(V__TRAN,V__A)
   &
   s__direction(V__TRAN,s__Horizontal))
=>
(( ? [V__G, V__FUNNEL, V__TOP, V__BOTTOM, V__C, V__BASE] :
     ((s__instance(V__FUNNEL,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__BASE,s__SelfConnectedObject) &
         (s__instance(V__G,s__GeographicArea) &
           s__eventLocated(V__T,V__G)
         &
         s__part(V__FUNNEL,V__A)
       &
       s__attribute(V__FUNNEL,s__ConeSegment) &
       s__top(V__TOP,V__FUNNEL)
     &
     s__bottom(V__BOTTOM,V__FUNNEL)
   &
   s__instance(V__C,s__Cloud) &
   s__bottom(V__BASE,V__C)
&
s__meetsSpatially(V__TOP,V__BASE)
&
s__meetsSpatially(V__BOTTOM,V__G)))))))
)
)

Weather.kif 1650-1671
( ! [V__O] :
   ((s__instance(V__O,s__SelfConnectedObject) =>
       ((s__attribute(V__O,s__LevelShape) =>
           (~(( ? [V__P1, V__P2, V__T, V__H1, V__H2, V__U] :
                 ((s__instance(V__P1,s__SelfConnectedObject) &
                     s__instance(V__P2,s__SelfConnectedObject) &
                     s__instance(V__T,s__SelfConnectedObject) &
                     s__instance(V__H1,s__RealNumber) &
                     s__instance(V__H2,s__RealNumber) &
                     (s__top(V__T,V__O)
                     &
                     s__part(V__P1,V__T)
                   &
                   s__part(V__P2,V__T)
                 &
                 s__instance(V__U,s__UnitOfLength) &
                 s__height(V__P1,s__MeasureFn(V__H1,V__U))
             &
             s__height(V__P2,s__MeasureFn(V__H2,V__U))
         &
         s__greaterThan(V__H1,V__H2))))))))))
)
)

Mid-level-ontology.kif 2757-2770
( ! [V__X] :
   ((s__instance(V__X,s__SelfConnectedObject) =>
       ((s__attribute(V__X,s__LoftStyle) =>
           (( ? [V__FLOOR, V__LOFT, V__CEILING] :
               ((s__instance(V__FLOOR,s__SelfConnectedObject) &
                   s__instance(V__CEILING,s__SelfConnectedObject) &
                   (s__bottom(V__FLOOR,V__X)
                   &
                   s__top(V__CEILING,V__X)
                 &
                 s__instance(V__LOFT,s__StationaryArtifact) &
                 s__orientation(V__LOFT,V__FLOOR,s__Above) &
                 s__orientation(V__LOFT,V__CEILING,s__Below)))))))))
)
)

Hotel.kif 1135-1143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4349-4357
( ! [V__C] :
   ((s__instance(V__C,s__Ceiling) =>
       (( ? [V__R] :
           ((s__top(V__C,V__R)
             &
             s__instance(V__R,s__Room))))))
   )
)

Mid-level-ontology.kif 14635-14640
( ! [V__HOLE] :
   ((s__instance(V__HOLE,s__GolfHole) =>
       (( ? [V__CYLINDER, V__CIRCLE] :
           ((s__instance(V__CYLINDER,s__Cylinder) &
               s__attribute(V__HOLE,V__CYLINDER)
             &
             s__top(V__CIRCLE,V__HOLE)
           &
           s__instance(V__CIRCLE,s__Circle) &
           s__diameter(V__CIRCLE,s__MeasureFn(n__4_25,s__Inch)))))))
)
)

Sports.kif 891-899
( ! [V__ROOF] :
   ((s__instance(V__ROOF,s__Roof) =>
       (( ? [V__BUILDING] :
           ((s__instance(V__BUILDING,s__Building) &
               s__top(V__ROOF,V__BUILDING))))))
   )
)

Mid-level-ontology.kif 14645-14650
( ! [V__X] :
   ((s__instance(V__X,s__Courtyard) =>
       ((~(( ? [V__ROOF] :
               ((s__instance(V__ROOF,s__Roof) &
                   s__top(V__ROOF,V__X)))))
         &
         ( ? [V__BLDG] :
           ((s__instance(V__BLDG,s__Building) &
               s__orientation(V__X,V__BLDG,s__Surrounded)))))))
   )
)

Mid-level-ontology.kif 25243-25254
( ! [V__incline] :
   ((s__instance(V__incline,s__SlopedArea) =>
       (( ? [V__top, V__bottom, V__height1, V__height2, V__U] :
           ((s__instance(V__top,s__SelfConnectedObject) &
               s__instance(V__bottom,s__SelfConnectedObject) &
               s__instance(V__height1,s__RealNumber) &
               s__instance(V__height2,s__RealNumber) &
               (s__top(V__top,V__incline)
               &
               s__bottom(V__bottom,V__incline)
             &
             s__instance(V__U,s__UnitOfLength) &
             s__earthAltitude(V__top,s__MeasureFn(V__height1,V__U))
         &
         s__earthAltitude(V__bottom,s__MeasureFn(V__height2,V__U))
     &
     s__greaterThan(V__height1,V__height2)))))))
)
)

Geography.kif 3945-3956
No TPTP formula. May not be expressible in strict first order. Weather.kif 2823-2848
No TPTP formula. May not be expressible in strict first order. Weather.kif 3028-3055
( ! [V__DEPTH,V__AREA] :
   (((s__instance(V__DEPTH,s__LengthMeasure) &
         s__instance(V__AREA,s__SelfConnectedObject) &
         s__instance(V__AREA,s__WaterArea))
       =>
       ((s__waterDepth(V__AREA,V__DEPTH)
         =>
         (( ? [V__BOTTOM, V__TOP] :
             ((s__instance(V__BOTTOM,s__SelfConnectedObject) &
                 s__instance(V__TOP,s__SelfConnectedObject) &
                 (s__depth(V__TOP,V__BOTTOM,V__DEPTH)
                 &
                 s__top(V__TOP,V__AREA)
               &
               s__bottom(V__BOTTOM,V__AREA)))))))))
)
)

Mid-level-ontology.kif 16844-16850


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