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

Formal Language: 



KB Term:  Term intersection
English Word: 

  oppositeDirection

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 17514-17516
(domain oppositeDirection 1 PositionalAttribute) Mid-level-ontology.kif 17511-17511
(domain oppositeDirection 2 PositionalAttribute) Mid-level-ontology.kif 17512-17512
(instance oppositeDirection BinaryPredicate) Mid-level-ontology.kif 17508-17508
(instance oppositeDirection IrreflexiveRelation) Mid-level-ontology.kif 17510-17510
(instance oppositeDirection SymmetricRelation) Mid-level-ontology.kif 17509-17509

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 42301-42301
(termFormat ChineseTraditionalLanguage oppositeDirection "相反的方向") domainEnglishFormat.kif 42300-42300
(termFormat EnglishLanguage oppositeDirection "opposite direction") domainEnglishFormat.kif 42299-42299

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 17521-17526
(=>
    (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 17528-17530

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 17535-17569

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


(oppositeDirection East West) Mid-level-ontology.kif 17519-17519
(oppositeDirection North South) Mid-level-ontology.kif 17518-17518
(oppositeDirection Northeast Southwest) Geography.kif 3593-3593
(oppositeDirection Northwest Southeast) Geography.kif 3605-3605
(oppositeDirection Upstream Downstream) Geography.kif 5358-5358


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