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 15790-15791
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") pictureList.kif 10885-10885
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") pictureList.kif 10002-10002
(subclass DirectionalAttribute PositionalAttribute) Merge.kif 15789-15789 subclass DirectionalAttribute and PositionalAttribute

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


(instance East DirectionalAttribute) Merge.kif 15811-15811 instance East and DirectionalAttribute
(instance North DirectionalAttribute) Merge.kif 15800-15800 instance North and DirectionalAttribute
(instance Northeast DirectionalAttribute) Geography.kif 3486-3486 instance Northeast and DirectionalAttribute
(instance Northwest DirectionalAttribute) Geography.kif 3520-3520 instance Northwest and DirectionalAttribute
(instance South DirectionalAttribute) Merge.kif 15804-15804 instance South and DirectionalAttribute
(instance Southeast DirectionalAttribute) Geography.kif 3497-3497 instance Southeast and DirectionalAttribute
(instance Southwest DirectionalAttribute) Geography.kif 3508-3508 instance Southwest and DirectionalAttribute
(instance West DirectionalAttribute) Merge.kif 15814-15814 instance West and DirectionalAttribute
(termFormat ChineseLanguage DirectionalAttribute "方向属性") chinese_format.kif 1237-1237
(termFormat EnglishLanguage DirectionalAttribute "directional attribute") english_format.kif 1700-1700

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


(domain AccelerationFn 4 DirectionalAttribute) Cars.kif 1278-1278 domain AccelerationFn, 4 and DirectionalAttribute
(domain DirectionalSubregionFn 1 DirectionalAttribute) Geography.kif 477-477 domain DirectionalSubregionFn, 1 and DirectionalAttribute
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 406-406 domain LatitudeFn, 1 and DirectionalAttribute
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 444-444 domain LongitudeFn, 1 and DirectionalAttribute
(domain VelocityFn 4 DirectionalAttribute) Merge.kif 6341-6341 domain VelocityFn, 4 and DirectionalAttribute
(domain faces 2 DirectionalAttribute) Merge.kif 15744-15744 domain faces, 2 and DirectionalAttribute
(domain highAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 240-240 domain highAltitudeWindVelocity, 3 and DirectionalAttribute
(domain lowAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 191-191 domain lowAltitudeWindVelocity, 3 and DirectionalAttribute
(domain magneticVariation 3 DirectionalAttribute) Geography.kif 3608-3608 domain magneticVariation, 3 and DirectionalAttribute
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute) Weather.kif 217-217 domain mediumAltitudeWindVelocity, 3 and DirectionalAttribute
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute) Geography.kif 1641-1641 domain slopeGradientTowardsOrientation, 2 and DirectionalAttribute
(domain surfaceWindDirection 2 DirectionalAttribute) Weather.kif 156-156 domain surfaceWindDirection, 2 and DirectionalAttribute
(domain surfaceWindVelocity 3 DirectionalAttribute) Weather.kif 96-96 domain surfaceWindVelocity, 3 and DirectionalAttribute

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


(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 15793-15798
(=>
    (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 ?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 15844-15878
(=>
    (instance ?C Compass)
    (exists (?D)
        (and
            (instance ?D DirectionalAttribute)
            (represents ?C ?D))))		 Mid-level-ontology.kif 2719-2724
(=>
    (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 10502-10513


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners