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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectionalAttribute

 Sigma KEE - DirectionalAttribute
DirectionalAttribute(Atributo Directional)

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 17072-17073
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") pictureList.kif 10864-10864
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") pictureList.kif 9984-9984
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 17071-17071 Atributo Directional e' uma sub-classe de Atributo Posicional

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


(instance East DirectionalAttribute) Merge.kif 17093-17093 East e' uma instancia de Atributo Directional
(instance North DirectionalAttribute) Merge.kif 17082-17082 North e' uma instancia de Atributo Directional
(instance Northeast DirectionalAttribute) Geography.kif 3648-3648 Northeast e' uma instancia de Atributo Directional
(instance Northwest DirectionalAttribute) Geography.kif 3682-3682 Northwest e' uma instancia de Atributo Directional
(instance South DirectionalAttribute) Merge.kif 17086-17086 South e' uma instancia de Atributo Directional
(instance Southeast DirectionalAttribute) Geography.kif 3659-3659 Southeast e' uma instancia de Atributo Directional
(instance Southwest DirectionalAttribute) Geography.kif 3670-3670 Southwest e' uma instancia de Atributo Directional
(instance West DirectionalAttribute) Merge.kif 17096-17096 West e' uma instancia de Atributo Directional
(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 451-451
(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 O argumento numero 4 de AccelerationFn e' uma instancia de Atributo Directional
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 477-477 O argumento numero 1 de DirectionalSubregionFn e' uma instancia de Atributo Directional
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 406-406 O argumento numero 1 de LatitudeFn e' uma instancia de Atributo Directional
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 444-444 O argumento numero 1 de LongitudeFn e' uma instancia de Atributo Directional
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6672-6672 O argumento numero 4 de VelocityFn e' uma instancia de Atributo Directional
(domain faces 2 DirectionalAttribute) Merge.kif 17026-17026 O argumento numero 2 de faces e' uma instancia de Atributo Directional
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 241-241 O argumento numero 3 de highAltitudeWindVelocity e' uma instancia de Atributo Directional
(domain lowAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 192-192 O argumento numero 3 de lowAltitudeWindVelocity e' uma instancia de Atributo Directional
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3770-3770 O argumento numero 3 de magneticVariation e' uma instancia de Atributo Directional
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 218-218 O argumento numero 3 de mediumAltitudeWindVelocity e' uma instancia de Atributo Directional
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1688-1688 O argumento numero 2 de slopeGradientTowardsOrientation e' uma instancia de Atributo Directional
(domain surfaceWindDirection 2 DirectionalAttribute) Weather.kif 157-157 O argumento numero 2 de surfaceWindDirection e' uma instancia de Atributo Directional
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 106-106 O argumento numero 3 de surfaceWindVelocity e' uma instancia de Atributo Directional

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


(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 17075-17080
(=>
    (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 3595-3615
(=>
    (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 18177-18211
(=>
    (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 2257-2262
(=>
    (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 11325-11336


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