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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectionalAttribute

Sigma KEE - DirectionalAttribute
DirectionalAttribute

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
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") pictureList.kif 10002-10002
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 17325-17325

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


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

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


(domain AccelerationFn 4 DirectionalAttribute) Cars.kif 1277-1277
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 474-474
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 406-406
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 444-444
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6883-6883
(domain faces 2 DirectionalAttribute) Merge.kif 17268-17268
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 241-241
(domain lowAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 192-192
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3595-3595
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 218-218
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1629-1629
(domain surfaceWindDirection 2 DirectionalAttribute) Weather.kif 157-157
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 97-97

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