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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DirectionalAttribute
DirectionalAttribute

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 16214-16215
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") pictureList.kif 10884-10884
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") pictureList.kif 10001-10001
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 16213-16213

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


(instance East DirectionalAttribute) Merge.kif 16235-16235
(instance North DirectionalAttribute) Merge.kif 16224-16224
(instance Northeast DirectionalAttribute) Geography.kif 3529-3529
(instance Northwest DirectionalAttribute) Geography.kif 3563-3563
(instance South DirectionalAttribute) Merge.kif 16228-16228
(instance Southeast DirectionalAttribute) Geography.kif 3540-3540
(instance Southwest DirectionalAttribute) Geography.kif 3551-3551
(instance West DirectionalAttribute) Merge.kif 16238-16238
(termFormat ChineseLanguage DirectionalAttribute "方向属性") chinese_format.kif 1237-1237
(termFormat EnglishLanguage DirectionalAttribute "directional attribute") english_format.kif 1700-1700

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


(domain AccelerationFn 4 DirectionalAttribute) Cars.kif 1291-1291
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 477-477
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 406-406
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 444-444
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6428-6428
(domain faces 2 DirectionalAttribute) Merge.kif 16168-16168
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 253-253
(domain lowAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 204-204
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3651-3651
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 230-230
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1659-1659
(domain surfaceWindDirection 2 DirectionalAttribute) Weather.kif 169-169
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 106-106

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


(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 16217-16222
(=>
    (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 AngularDegree)
                    (MeasureFn 26 ArcMinute)
                    (MeasureFn 11.5 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))
Geography.kif 3476-3496
(=>
    (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 16322-16356
(=>
    (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)))))
Weather.kif 627-646
(=>
    (instance ?C Compass)
    (exists (?D)
        (and
            (instance ?D DirectionalAttribute)
            (represents ?C ?D))))
Mid-level-ontology.kif 2200-2205
(=>
    (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 10788-10799


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