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 16895-16896
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") pictureList.kif 10866-10866
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") pictureList.kif 9984-9984
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 16894-16894 方向属性 是 位置属性 的 subclass

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


(instance East DirectionalAttribute) Merge.kif 16916-16916 东 是 方向属性 的 instance
(instance North DirectionalAttribute) Merge.kif 16905-16905 北 是 方向属性 的 instance
(instance Northeast DirectionalAttribute) Geography.kif 3577-3577 东北 是 方向属性 的 instance
(instance Northwest DirectionalAttribute) Geography.kif 3611-3611 西北 是 方向属性 的 instance
(instance South DirectionalAttribute) Merge.kif 16909-16909 南 是 方向属性 的 instance
(instance Southeast DirectionalAttribute) Geography.kif 3588-3588 东南 是 方向属性 的 instance
(instance Southwest DirectionalAttribute) Geography.kif 3599-3599 西南 是 方向属性 的 instance
(instance West DirectionalAttribute) Merge.kif 16919-16919 西方 是 方向属性 的 instance
(termFormat ChineseLanguage DirectionalAttribute "方向属性") chinese_format.kif 1237-1237
(termFormat EnglishLanguage DirectionalAttribute "directional attribute") english_format.kif 1695-1695
(termFormat FrenchLanguage DirectionalAttribute "attribut directionnel") french_format.kif 915-915
(termFormat Hindi DirectionalAttribute "dishaatmaka visheshataa") terms-hindi.txt 448-448
(termFormat ItalianLanguage DirectionalAttribute "AttributoDirezionale") terms-it.txt 449-449
(termFormat JapaneseLanguage DirectionalAttribute "方向属性") japanese_format.kif 2599-2599
(termFormat PortugueseLanguage DirectionalAttribute "Atributo Directional") portuguese_format.kif 867-867
(termFormat cb DirectionalAttribute "paaging hiyas") terms-cb.txt 453-453
(termFormat cz DirectionalAttribute "directional attribute") terms-cz.txt 487-487
(termFormat ro DirectionalAttribute "atribut direcþional") relations-ro.kif 936-936
(termFormat tg DirectionalAttribute "katangian ng Pamamahala") terms-tg.txt 452-452

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 6657-6657 速度函数 的 4 数量 是 方向属性 的 instance
(domain faces 2 DirectionalAttribute) Merge.kif 16849-16849 面向 的 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 3699-3699 磁变化 的 3 数量 是 方向属性 的 instance
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 230-230 中等海拔风速率 的 3 数量 是 方向属性 的 instance
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1688-1688 坡度梯度朝向 的 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 16898-16903
(=>
    (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 3524-3544
(=>
    (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 18062-18096
(=>
    (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 2236-2241
(=>
    (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 11233-11244


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