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
-------------------------


(documentation DirectionalAttribute ChineseLanguage "这是有关罗盘方向的 PositionalAttribute 子类别。") chinese_format.kif 3802-3803
(documentation DirectionalAttribute EnglishLanguage "The subclass of PositionalAttributes that concern compass directions.") Merge.kif 16720-16721
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") pictureList.kif 10874-10874
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") pictureList.kif 9992-9992
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 16719-16719 Directional attribute is a subclass of positional attribute

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


(instance East DirectionalAttribute) Merge.kif 16741-16741 East is an instance of directional attribute
(instance North DirectionalAttribute) Merge.kif 16730-16730 North is an instance of directional attribute
(instance Northeast DirectionalAttribute) Geography.kif 3570-3570 Northeast is an instance of directional attribute
(instance Northwest DirectionalAttribute) Geography.kif 3604-3604 Northwest is an instance of directional attribute
(instance South DirectionalAttribute) Merge.kif 16734-16734 South is an instance of directional attribute
(instance Southeast DirectionalAttribute) Geography.kif 3581-3581 Southeast is an instance of directional attribute
(instance Southwest DirectionalAttribute) Geography.kif 3592-3592 Southwest is an instance of directional attribute
(instance West DirectionalAttribute) Merge.kif 16744-16744 West is an instance of directional attribute
(termFormat ChineseLanguage DirectionalAttribute "方向属性") chinese_format.kif 1237-1237
(termFormat EnglishLanguage DirectionalAttribute "directional attribute") english_format.kif 1695-1695

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


(domain AccelerationFn 4 DirectionalAttribute) Cars.kif 1277-1277 The number 4 argument of AccelerationFn is an instance of directional attribute
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 477-477 The number 1 argument of directional subregion is an instance of directional attribute
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 406-406 The number 1 argument of latitude is an instance of directional attribute
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 444-444 The number 1 argument of longitude is an instance of directional attribute
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6575-6575 The number 4 argument of velocity is an instance of directional attribute
(domain faces 2 DirectionalAttribute) Merge.kif 16674-16674 The number 2 argument of faces is an instance of directional attribute
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 253-253 The number 3 argument of high altitude wind velocity is an instance of directional attribute
(domain lowAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 204-204 The number 3 argument of low altitude wind velocity is an instance of directional attribute
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3692-3692 The number 3 argument of magnetic variation is an instance of directional attribute
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 230-230 The number 3 argument of medium altitude wind velocity is an instance of directional attribute
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1691-1691 The number 2 argument of slope gradient towards orientation is an instance of directional attribute
(domain surfaceWindDirection 2 DirectionalAttribute) Weather.kif 169-169 The number 2 argument of surface wind direction is an instance of directional attribute
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 106-106 The number 3 argument of surface wind velocity is an instance of directional attribute

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


(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 16723-16728
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))
Geography.kif 500-505

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


(=>
    (and
        (instance ?PLACE GeographicArea)
        (located ?PLACE ?T)
        (instance ?T Tropics))
    (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
        (and
            (objectGeographicCoordinates ?PLACE
                (MeasureFn ?NUM1 ?U) ?LONG)
            (instance ?U UnitOfAngularMeasure)
            (lessThan ?NUM1 ?NUM2)
            (equal
                (MeasureFn ?NUM2 ?U)
                (LatitudeFn ?DIR
                    (MeasureFn 23.0 AngularDegree)
                    (MeasureFn 26.0 ArcMinute)
                    (MeasureFn 11.5 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))
Geography.kif 3517-3537
(=>
    (and
        (instance ?SAW Saw)
        (instance ?CUT Cutting)
        (instrument ?CUT ?SAW)
        (instance ?OBJ Object)
        (patient ?CUT ?OBJ))
    (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
        (and
            (instance ?MOTION Motion)
            (subProcess ?MOTION ?CUT)
            (instance ?PART CuttingDevice)
            (part ?PART ?SAW)
            (meetsSpatially ?PART ?OBJ)
            (patient ?MOTION ?PART)
            (instance ?T2 TimeInterval)
            (instance ?T2 TimeInterval)
            (equal
                (WhenFn ?MOTION) ?TIME)
            (temporalPart ?TIME ?T1)
            (temporalPart ?TIME ?T2)
            (instance ?DIR1 DirectionalAttribute)
            (instance ?DIR2 DirectionalAttribute)
            (=>
                (holdsDuring ?T1
                    (direction ?MOTION ?DIR1))
                (holdsDuring ?T2
                    (and
                        (direction ?MOTION ?DIR2)
                        (or
                            (equal ?DIR1 ?DIR2)
                            (oppositeDirection ?DIR1 ?DIR2))
                        (not
                            (and
                                (equal ?DIR1 ?DIR2)
                                (oppositeDirection ?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 17535-17569
(=>
    (and
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
        (or
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
    (not
        (exists (?AREA ?DIR ?NUM ?LONG)
            (and
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                (or
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5.0)))))
Weather.kif 627-646
(=>
    (instance ?C Compass)
    (exists (?D)
        (and
            (instance ?D DirectionalAttribute)
            (represents ?C ?D))))
Mid-level-ontology.kif 2219-2224
(=>
    (instance ?PROC DirectionChange)
    (exists (?ATTR)
        (and
            (instance ?ATTR DirectionalAttribute)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?PROC))
                        (manner ?PROC ?ATTR))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?PROC))
                        (not
                            (manner ?PROC ?ATTR))))
                (and
                    (holdsDuring
                        (EndFn
                            (WhenFn ?PROC))
                        (manner ?PROC ?ATTR))
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?PROC))
                        (not
                            (manner ?PROC ?ATTR))))))))
Merge.kif 11134-11145


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