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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - oppositeDirection
oppositeDirection

appearance as argument number 1
-------------------------


(documentation oppositeDirection EnglishLanguage "(oppositeDirection ?DIR1 ?DIR2) means that the PositionalAttribute ?DIR1 points in the compass direction opposite to the DirectionalAttribute ?DIR2.") Mid-level-ontology.kif 18039-18041
(domain oppositeDirection 1 PositionalAttribute) Mid-level-ontology.kif 18036-18036 Le nombre 1 argument de oppositeDirection est une instance de attribut positionnel
(domain oppositeDirection 2 PositionalAttribute) Mid-level-ontology.kif 18037-18037 Le nombre 2 argument de oppositeDirection est une instance de attribut positionnel
(instance oppositeDirection BinaryPredicate) Mid-level-ontology.kif 18033-18033 oppositeDirection est une instance de pr�dicat binaire
(instance oppositeDirection IrreflexiveRelation) Mid-level-ontology.kif 18035-18035 oppositeDirection est une instance de relation irr�flexive
(instance oppositeDirection SymmetricRelation) Mid-level-ontology.kif 18034-18034 oppositeDirection est une instance de relation sym�trique

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


(format ChineseLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向") domainEnglishFormat.kif 1847-1847
(format ChineseTraditionalLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向") domainEnglishFormat.kif 1846-1846
(format EnglishLanguage oppositeDirection "%2 is %n an opposite direction of %1") domainEnglishFormat.kif 1845-1845
(termFormat ChineseLanguage oppositeDirection "相反的方向") domainEnglishFormat.kif 42336-42336
(termFormat ChineseTraditionalLanguage oppositeDirection "相反的方向") domainEnglishFormat.kif 42335-42335
(termFormat EnglishLanguage oppositeDirection "opposite direction") domainEnglishFormat.kif 42334-42334

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


(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (measure ?ZEPHYR
            (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD))
        (oppositeDirection ?DIR-TOWARD ?DIR-FROM))
    (surfaceWindDirection ?PLACE ?DIR-FROM))		 Weather.kif 194-199
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?DIR)
        (instance ?DIR PositionalAttribute)
        (oppositeDirection ?DIR ?OPPDIR))
    (orientation ?OBJ2 ?OBJ1 ?OPPDIR))		 Mid-level-ontology.kif 18046-18051
(=>
    (and
        (surfaceWindVelocity ?PLACE ?SPEED ?DIR-TOWARD)
        (oppositeDirection ?DIR-TOWARD ?DIR-FROM))
    (surfaceWindDirection ?PLACE ?DIR-FROM))		 Weather.kif 188-192
(=>
    (oppositeDirection ?DIR1 ?DIR2)
    (contraryAttribute ?DIR1 ?DIR2))		 Mid-level-ontology.kif 18053-18055

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 18060-18094

appearance as argument number 0
-------------------------


(oppositeDirection East West) Mid-level-ontology.kif 18044-18044 oppositeDirection East and West
(oppositeDirection North South) Mid-level-ontology.kif 18043-18043 oppositeDirection North and South
(oppositeDirection Northeast Southwest) Geography.kif 3600-3600 oppositeDirection Northeast and Southwest
(oppositeDirection Northwest Southeast) Geography.kif 3612-3612 oppositeDirection Northwest and Southeast
(oppositeDirection Upstream Downstream) Geography.kif 5367-5367 oppositeDirection Upstream and Downstream


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