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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectionalAttribute

 Sigma KEE - DirectionalAttribute
DirectionalAttribute(AttributoDirezionale)

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 17001-17002
(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 17000-17000 AttributoDirezionale è una sottoclasse di AttributoPosizionale

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


(instance East DirectionalAttribute) Merge.kif 17022-17022 East è un' istanza di AttributoDirezionale
(instance North DirectionalAttribute) Merge.kif 17011-17011 North è un' istanza di AttributoDirezionale
(instance Northeast DirectionalAttribute) Geography.kif 3648-3648 Northeast è un' istanza di AttributoDirezionale
(instance Northwest DirectionalAttribute) Geography.kif 3682-3682 Northwest è un' istanza di AttributoDirezionale
(instance South DirectionalAttribute) Merge.kif 17015-17015 South è un' istanza di AttributoDirezionale
(instance Southeast DirectionalAttribute) Geography.kif 3659-3659 Southeast è un' istanza di AttributoDirezionale
(instance Southwest DirectionalAttribute) Geography.kif 3670-3670 Southwest è un' istanza di AttributoDirezionale
(instance West DirectionalAttribute) Merge.kif 17025-17025 West è un' istanza di AttributoDirezionale
(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 Il numero 4 argomenti di AccelerationFn è un istanza di AttributoDirezionale
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 477-477 Il numero 1 argomenti di DirectionalSubregionFn è un istanza di AttributoDirezionale
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 406-406 Il numero 1 argomenti di LatitudeFn è un istanza di AttributoDirezionale
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 444-444 Il numero 1 argomenti di LongitudeFn è un istanza di AttributoDirezionale
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6671-6671 Il numero 4 argomenti di VelocityFn è un istanza di AttributoDirezionale
(domain faces 2 DirectionalAttribute) Merge.kif 16955-16955 Il numero 2 argomenti di faces è un istanza di AttributoDirezionale
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 253-253 Il numero 3 argomenti di highAltitudeWindVelocity è un istanza di AttributoDirezionale
(domain lowAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 204-204 Il numero 3 argomenti di lowAltitudeWindVelocity è un istanza di AttributoDirezionale
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3770-3770 Il numero 3 argomenti di magneticVariation è un istanza di AttributoDirezionale
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 230-230 Il numero 3 argomenti di mediumAltitudeWindVelocity è un istanza di AttributoDirezionale
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1688-1688 Il numero 2 argomenti di slopeGradientTowardsOrientation è un istanza di AttributoDirezionale
(domain surfaceWindDirection 2 DirectionalAttribute) Weather.kif 169-169 Il numero 2 argomenti di surfaceWindDirection è un istanza di AttributoDirezionale
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 106-106 Il numero 3 argomenti di surfaceWindVelocity è un istanza di AttributoDirezionale

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


(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 17004-17009
(=>
    (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 18150-18184
(=>
    (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 2264-2269
(=>
    (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 11279-11290


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