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

Formal Language: 



KB Term:  Term intersection
English Word: 

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, directional_attribute, 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...

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


(documentation DirectionalAttribute ChineseLanguage "这是有关罗盘方向的 PositionalAttribute 子类别。") Merge.kif 17328-17329
(documentation DirectionalAttribute EnglishLanguage "The subclass of PositionalAttributes that concern compass directions.") Merge.kif 17326-17327
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") pictureList.kif 10885-10885 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ Compass_%28PSF%29.png" is a URL depicting directional attribute
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") pictureList.kif 10002-10002 "http://upload.wikimedia.org/wikipedia/commons/9/99/ Kompas_Sofia.JPG" is a URL depicting directional attribute
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 17325-17325 Directional attribute is a subclass of positional attribute

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


(instance East DirectionalAttribute) Merge.kif 17351-17351 East is an instance of directional attribute
(instance North DirectionalAttribute) Merge.kif 17338-17338 North is an instance of directional attribute
(instance Northeast DirectionalAttribute) Geography.kif 3473-3473 Northeast is an instance of directional attribute
(instance Northwest DirectionalAttribute) Geography.kif 3507-3507 Northwest is an instance of directional attribute
(instance South DirectionalAttribute) Merge.kif 17343-17343 South is an instance of directional attribute
(instance Southeast DirectionalAttribute) Geography.kif 3484-3484 Southeast is an instance of directional attribute
(instance Southwest DirectionalAttribute) Geography.kif 3495-3495 Southwest is an instance of directional attribute
(instance West DirectionalAttribute) Merge.kif 17355-17355 West is an instance of directional attribute
(termFormat ChineseLanguage DirectionalAttribute "方向属性") chinese_format.kif 1237-1237 "方向属性" is the printable form of directional attribute in ChineseLanguage
(termFormat EnglishLanguage DirectionalAttribute "directional attribute") english_format.kif 1792-1792 "directional attribute" is the printable form of directional attribute in english language
(termFormat JapaneseLanguage DirectionalAttribute "方向属性") english_format.kif 1793-1793 "方向属性" is the printable form of directional attribute in japanese language

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 474-474 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 6883-6883 The number 4 argument of velocity is an instance of directional attribute
(domain faces 2 DirectionalAttribute) Merge.kif 17268-17268 The number 2 argument of faces is an instance of directional attribute
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 241-241 The number 3 argument of high altitude wind velocity is an instance of directional attribute
(domain lowAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 192-192 The number 3 argument of low altitude wind velocity is an instance of directional attribute
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3595-3595 The number 3 argument of magnetic variation is an instance of directional attribute
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 218-218 The number 3 argument of medium altitude wind velocity is an instance of directional attribute
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1629-1629 The number 2 argument of slope gradient towards orientation is an instance of directional attribute
(domain surfaceWindDirection 2 DirectionalAttribute) Weather.kif 157-157 The number 2 argument of surface wind direction is an instance of directional attribute
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 97-97 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 17331-17336
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))
Geography.kif 490-495
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))
Geography.kif 497-502

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


(=>
    (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 15843-15877
(=>
    (instance ?C Compass)
    (exists (?D)
        (and
            (instance ?D DirectionalAttribute)
            (represents ?C ?D))))
Mid-level-ontology.kif 2724-2729
(=>
    (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 11244-11255


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners