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 子类别。") chinese_format.kif 3802-3803
(documentation DirectionalAttribute EnglishLanguage "The subclass of PositionalAttributes that concern compass directions.") Merge.kif 16748-16749
(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 16747-16747 方向属性位置属性subclass

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


(instance East DirectionalAttribute) Merge.kif 16769-16769 方向属性instance
(instance North DirectionalAttribute) Merge.kif 16758-16758 方向属性instance
(instance Northeast DirectionalAttribute) Geography.kif 3570-3570 东北方向属性instance
(instance Northwest DirectionalAttribute) Geography.kif 3604-3604 西北方向属性instance
(instance South DirectionalAttribute) Merge.kif 16762-16762 方向属性instance
(instance Southeast DirectionalAttribute) Geography.kif 3581-3581 东南方向属性instance
(instance Southwest DirectionalAttribute) Geography.kif 3592-3592 西南方向属性instance
(instance West DirectionalAttribute) Merge.kif 16772-16772 西方方向属性instance
(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 AccelerationFn 的 4 数量 是 方向属性instance
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 477-477 定向分区域 的 1 数量 是 方向属性instance
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 406-406 纬度 的 1 数量 是 方向属性instance
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 444-444 经度 的 1 数量 是 方向属性instance
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6583-6583 速度函数 的 4 数量 是 方向属性instance
(domain faces 2 DirectionalAttribute) Merge.kif 16702-16702 面向 的 2 数量 是 方向属性instance
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 253-253 高空风速率 的 3 数量 是 方向属性instance
(domain lowAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 204-204 低空风速 的 3 数量 是 方向属性instance
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3692-3692 磁变化 的 3 数量 是 方向属性instance
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 230-230 中等海拔风速率 的 3 数量 是 方向属性instance
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1691-1691 坡度梯度朝向 的 2 数量 是 方向属性instance
(domain surfaceWindDirection 2 DirectionalAttribute) Weather.kif 169-169 地面风向 的 2 数量 是 方向属性instance
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 106-106 地面风速率 的 3 数量 是 方向属性instance

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


(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 16751-16756
(=>
    (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 17614-17648
(=>
    (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 2227-2232
(=>
    (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 11147-11158


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