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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectionalAttribute

Sigma KEE - DirectionalAttribute
DirectionalAttribute(directional attribute)
ENE, ESE, EbN, EbS, NE, NEbE, NEbN, NNE, NNW, NW, NWbN, NWbW, NbE, NbW, SE, SEbE, SEbS, SSE, SSW, SW, SWbS, SWbW, SbE, SbW, WNW, WSW, WbN, WbS, cardinal_compass_point, compass_point, direction, east_by_north, east_by_south, east_northeast, east_southeast, frontage, geographic, geographical, leaning, magnetic, nor'-east, nor'-nor'-east, nor'-nor'-west, nor'-west, north-east, north-northeast, north-northwest, north-west, north_by_east, north_by_west...

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


s__documentation(s__DirectionalAttribute,s__ChineseLanguage,'"这是有关罗盘方向的 PositionalAttribute 子类别。"')

chinese_format.kif 3802-3803
s__documentation(s__DirectionalAttribute,s__EnglishLanguage,'"The subclass of PositionalAttributes that concern compass directions."')

Merge.kif 16316-16317
s__externalImage(s__DirectionalAttribute,'"http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png"')

pictureList.kif 10884-10884
s__externalImage(s__DirectionalAttribute,'"http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG"')

pictureList.kif 10001-10001
s__subclass(s__DirectionalAttribute,s__PositionalAttribute)

s__instance(s__PositionalAttribute,s__SetOrClass)

s__instance(s__DirectionalAttribute,s__SetOrClass)

Merge.kif 16315-16315 Directional attribute is a subclass of positional attribute

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


s__instance(s__East,s__DirectionalAttribute)

s__instance(s__DirectionalAttribute,s__SetOrClass)

Merge.kif 16337-16337 East is an instance of directional attribute
s__instance(s__DirectionalAttribute,s__SetOrClass)

s__instance(s__North,s__DirectionalAttribute)

Merge.kif 16326-16326 North is an instance of directional attribute
s__instance(s__DirectionalAttribute,s__SetOrClass)

s__instance(s__Northeast,s__DirectionalAttribute)

Geography.kif 3529-3529 Northeast is an instance of directional attribute
s__instance(s__DirectionalAttribute,s__SetOrClass)

s__instance(s__Northwest,s__DirectionalAttribute)

Geography.kif 3563-3563 Northwest is an instance of directional attribute
s__instance(s__DirectionalAttribute,s__SetOrClass)

s__instance(s__South,s__DirectionalAttribute)

Merge.kif 16330-16330 South is an instance of directional attribute
s__instance(s__DirectionalAttribute,s__SetOrClass)

s__instance(s__Southeast,s__DirectionalAttribute)

Geography.kif 3540-3540 Southeast is an instance of directional attribute
s__instance(s__DirectionalAttribute,s__SetOrClass)

s__instance(s__Southwest,s__DirectionalAttribute)

Geography.kif 3551-3551 Southwest is an instance of directional attribute
s__instance(s__DirectionalAttribute,s__SetOrClass)

s__instance(s__West,s__DirectionalAttribute)

Merge.kif 16340-16340 West is an instance of directional attribute
s__termFormat(s__ChineseLanguage,s__DirectionalAttribute,'"方向属性"')

chinese_format.kif 1237-1237
s__termFormat(s__EnglishLanguage,s__DirectionalAttribute,'"directional attribute"')

english_format.kif 1700-1700

appearance as argument number 3
-------------------------


s__domain(s__AccelerationFn__m,n__4,s__DirectionalAttribute)

Cars.kif 1277-1277 The number 4 argument of AccelerationFn is an instance of directional attribute
s__domain(s__DirectionalSubregionFn__m,n__1,s__DirectionalAttribute)

Geography.kif 477-477 The number 1 argument of directional subregion is an instance of directional attribute
s__domain(s__LatitudeFn__m,n__1,s__DirectionalAttribute)

Geography.kif 406-406 The number 1 argument of latitude is an instance of directional attribute
s__domain(s__LongitudeFn__m,n__1,s__DirectionalAttribute)

Geography.kif 444-444 The number 1 argument of longitude is an instance of directional attribute
s__domain(s__VelocityFn__m,n__4,s__DirectionalAttribute)

Merge.kif 6461-6461 The number 4 argument of velocity is an instance of directional attribute
s__domain(s__faces__m,n__2,s__DirectionalAttribute)

Merge.kif 16270-16270 The number 2 argument of faces is an instance of directional attribute
s__domain(s__highAltitudeWindVelocity__m,n__3,s__DirectionalAttribute)

Weather.kif 253-253 The number 3 argument of high altitude wind velocity is an instance of directional attribute
s__domain(s__lowAltitudeWindVelocity__m,n__3,s__DirectionalAttribute)

Weather.kif 204-204 The number 3 argument of low altitude wind velocity is an instance of directional attribute
s__domain(s__magneticVariation__m,n__3,s__DirectionalAttribute)

Geography.kif 3651-3651 The number 3 argument of magnetic variation is an instance of directional attribute
s__domain(s__mediumAltitudeWindVelocity__m,n__3,s__DirectionalAttribute)

Weather.kif 230-230 The number 3 argument of medium altitude wind velocity is an instance of directional attribute
s__domain(s__slopeGradientTowardsOrientation__m,n__2,s__DirectionalAttribute)

Geography.kif 1659-1659 The number 2 argument of slope gradient towards orientation is an instance of directional attribute
s__domain(s__surfaceWindDirection__m,n__2,s__DirectionalAttribute)

Weather.kif 169-169 The number 2 argument of surface wind direction is an instance of directional attribute
s__domain(s__surfaceWindVelocity__m,n__3,s__DirectionalAttribute)

Weather.kif 106-106 The number 3 argument of surface wind velocity is an instance of directional attribute

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


( ! [V__OBJ1,V__DIRECT,V__OBJ2,V__OBJ3] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object) &
         s__instance(V__OBJ3,s__Object))
       =>
       (((s__instance(V__DIRECT,s__DirectionalAttribute) &
             s__orientation(V__OBJ1,V__OBJ2,V__DIRECT)
           &
           s__orientation(V__OBJ2,V__OBJ3,V__DIRECT))
       =>
       (s__between(V__OBJ1,V__OBJ2,V__OBJ3)))))
)
)

Merge.kif 16319-16324
( ! [V__DIRECTION,V__AREA] :
   (((s__instance(V__DIRECTION,s__DirectionalAttribute) &
         s__instance(V__AREA,s__GeographicArea) &
         s__instance(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
      ,s__GeographicArea))
     =>
     (s__geographicSubregion(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
    ,V__AREA)))
)
)

Geography.kif 493-498
( ! [V__DIRECTION,V__AREA] :
   (((s__instance(V__DIRECTION,s__DirectionalAttribute) &
         s__instance(V__AREA,s__GeographicArea) &
         s__instance(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
      ,s__GeographicArea))
     =>
     (s__orientation(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
    ,s__GeographicCenterFn(V__AREA)
  ,V__DIRECTION)))
)
)

Geography.kif 500-505

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


( ! [V__PLACE,V__T] :
   (((s__instance(V__PLACE,s__GeographicArea) &
         s__located(V__PLACE,V__T)
       &
       s__instance(V__T,s__Tropics))
     =>
     (( ? [V__NUM1, V__LONG, V__DIR, V__NUM2, V__U] :
         ((s__instance(V__NUM1,s__RealNumber) &
             s__instance(V__LONG,s__Longitude) &
             s__instance(V__NUM2,s__RealNumber) &
             (s__objectGeographicCoordinates(V__PLACE,s__MeasureFn(V__NUM1,V__U)
            ,V__LONG)
           &
           s__instance(V__U,s__UnitOfAngularMeasure) &
           s__lessThan(V__NUM1,V__NUM2)
         &
         (s__MeasureFn(V__NUM2,V__U)
         = s__LatitudeFn__4Fn(V__DIR,s__MeasureFn(n__23,s__AngularDegree),s__MeasureFn(n__26,s__ArcMinute),s__MeasureFn(n__11_5,s__ArcSecond)))
     &
     s__instance(V__DIR,s__DirectionalAttribute) &
     ((V__DIR = s__North) |
         (V__DIR = s__South))))))))
)
)

Geography.kif 3476-3496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17216-17250
( ! [V__SEA,V__TC] :
   (((s__instance(V__TC,s__TropicalCyclonicSystem) &
         s__origin(V__TC,V__SEA)
       &
       (s__instance(V__SEA,s__NorthAtlanticOcean) |
         s__instance(V__SEA,s__PacificOcean) |
         s__instance(V__SEA,s__IndianOcean)))
     =>
     (~(( ? [V__AREA, V__DIR, V__NUM, V__LONG] :
           ((s__instance(V__AREA,s__Object) &
               s__instance(V__NUM,s__Quantity) &
               s__instance(V__LONG,s__Longitude) &
               (s__located(V__AREA,V__SEA)
               &
               s__instance(V__DIR,s__DirectionalAttribute) &
               s__objectGeographicCoordinates(V__AREA,s__LatitudeFn__2Fn(V__DIR,s__MeasureFn(V__NUM,s__AngularDegree))
            ,V__LONG)
           &
           ((V__DIR = s__North) |
               (V__DIR = s__South))
               &
               s__lessThan(V__NUM,n__5))))))))
)
)

Weather.kif 627-646
( ! [V__C] :
   ((s__instance(V__C,s__Compass) =>
       (( ? [V__D] :
           ((s__instance(V__D,s__DirectionalAttribute) &
               s__represents(V__C,V__D))))))
   )
)

Mid-level-ontology.kif 2202-2207
No TPTP formula. May not be expressible in strict first order. Merge.kif 10821-10832


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

Show without tree


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