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 17176-17177
(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 17175-17175

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


(instance East DirectionalAttribute) Merge.kif 17197-17197
(instance North DirectionalAttribute) Merge.kif 17186-17186
(instance Northeast DirectionalAttribute) Geography.kif 3773-3773
(instance Northwest DirectionalAttribute) Geography.kif 3807-3807
(instance South DirectionalAttribute) Merge.kif 17190-17190
(instance Southeast DirectionalAttribute) Geography.kif 3784-3784
(instance Southwest DirectionalAttribute) Geography.kif 3795-3795
(instance West DirectionalAttribute) Merge.kif 17200-17200
(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 de DirectionalAttribute "Richtungsattribut") terms-de.txt 746-746
(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
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 614-614
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 543-543
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 581-581
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6696-6696
(domain faces 2 DirectionalAttribute) Merge.kif 17130-17130
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 241-241
(domain lowAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 192-192
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 218-218
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1813-1813
(domain surfaceWindDirection 2 DirectionalAttribute) Weather.kif 157-157
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 106-106

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


(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 17179-17184
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))
Geography.kif 630-635
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))
Geography.kif 637-642

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 3720-3740
(=>
    (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 11429-11440


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