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 17161-17162
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") pictureList.kif 10862-10862
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") pictureList.kif 9983-9983
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 17160-17160 方向属性 は 位置属性 の subclass では %n

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


(instance East DirectionalAttribute) Merge.kif 17182-17182 East は 方向属性 の instance では %n
(instance North DirectionalAttribute) Merge.kif 17171-17171 North は 方向属性 の instance では %n
(instance Northeast DirectionalAttribute) Geography.kif 3636-3636 Northeast は 方向属性 の instance では %n
(instance Northwest DirectionalAttribute) Geography.kif 3670-3670 Northwest は 方向属性 の instance では %n
(instance South DirectionalAttribute) Merge.kif 17175-17175 South は 方向属性 の instance では %n
(instance Southeast DirectionalAttribute) Geography.kif 3647-3647 Southeast は 方向属性 の instance では %n
(instance Southwest DirectionalAttribute) Geography.kif 3658-3658 Southwest は 方向属性 の instance では %n
(instance West DirectionalAttribute) Merge.kif 17185-17185 West は 方向属性 の instance では %n
(termFormat ChineseLanguage DirectionalAttribute "方向属性") chinese_format.kif 1237-1237 West は 方向属性 の instance では %n
(termFormat EnglishLanguage DirectionalAttribute "directional attribute") english_format.kif 1695-1695 West は 方向属性 の instance では %n
(termFormat FrenchLanguage DirectionalAttribute "attribut directionnel") french_format.kif 915-915 West は 方向属性 の instance では %n
(termFormat Hindi DirectionalAttribute "dishaatmaka visheshataa") terms-hindi.txt 448-448 West は 方向属性 の instance では %n
(termFormat ItalianLanguage DirectionalAttribute "AttributoDirezionale") terms-it.txt 451-451 West は 方向属性 の instance では %n
(termFormat JapaneseLanguage DirectionalAttribute "方向属性") japanese_format.kif 2599-2599 West は 方向属性 の instance では %n
(termFormat PortugueseLanguage DirectionalAttribute "Atributo Directional") portuguese_format.kif 867-867 West は 方向属性 の instance では %n
(termFormat cb DirectionalAttribute "paaging hiyas") terms-cb.txt 453-453 West は 方向属性 の instance では %n
(termFormat cz DirectionalAttribute "directional attribute") terms-cz.txt 487-487 West は 方向属性 の instance では %n
(termFormat de DirectionalAttribute "Richtungsattribut") terms-de.txt 746-746 West は 方向属性 の instance では %n
(termFormat ro DirectionalAttribute "atribut direcþional") relations-ro.kif 936-936 West は 方向属性 の instance では %n
(termFormat tg DirectionalAttribute "katangian ng Pamamahala") terms-tg.txt 452-452 West は 方向属性 の instance では %n

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


(domain AccelerationFn 4 DirectionalAttribute) Cars.kif 1277-1277 AccelerationFn の数値 4 引数は 方向属性 の instance では %n
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 477-477 DirectionalSubregionFn の数値 1 引数は 方向属性 の instance では %n
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 406-406 LatitudeFn の数値 1 引数は 方向属性 の instance では %n
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 444-444 LongitudeFn の数値 1 引数は 方向属性 の instance では %n
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6681-6681 VelocityFn の数値 4 引数は 方向属性 の instance では %n
(domain faces 2 DirectionalAttribute) Merge.kif 17115-17115 faces の数値 2 引数は 方向属性 の instance では %n
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 241-241 highAltitudeWindVelocity の数値 3 引数は 方向属性 の instance では %n
(domain lowAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 192-192 lowAltitudeWindVelocity の数値 3 引数は 方向属性 の instance では %n
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 218-218 mediumAltitudeWindVelocity の数値 3 引数は 方向属性 の instance では %n
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1676-1676 slopeGradientTowardsOrientation の数値 2 引数は 方向属性 の instance では %n
(domain surfaceWindDirection 2 DirectionalAttribute) Weather.kif 157-157 surfaceWindDirection の数値 2 引数は 方向属性 の instance では %n
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 106-106 surfaceWindVelocity の数値 3 引数は 方向属性 の instance では %n

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


(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 17164-17169
(=>
    (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 3583-3603
(=>
    (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 19721-19755
(=>
    (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 611-630
(=>
    (instance ?C Compass)
    (exists (?D)
        (and
            (instance ?D DirectionalAttribute)
            (represents ?C ?D))))		 Mid-level-ontology.kif 2727-2732
(=>
    (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 11414-11425


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