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 15824-15826
(domain oppositeDirection 1 PositionalAttribute) Mid-level-ontology.kif 15821-15821 The number 1 argument of opposite direction is an instance of positional attribute
(domain oppositeDirection 2 PositionalAttribute) Mid-level-ontology.kif 15822-15822 The number 2 argument of opposite direction is an instance of positional attribute
(instance oppositeDirection BinaryPredicate) Mid-level-ontology.kif 15818-15818 opposite direction is an instance of binary predicate
(instance oppositeDirection IrreflexiveRelation) Mid-level-ontology.kif 15820-15820 opposite direction is an instance of irreflexive relation
(instance oppositeDirection SymmetricRelation) Mid-level-ontology.kif 15819-15819 opposite direction is an instance of symmetric relation

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 42235-42235 "相反的方向" is the printable form of opposite direction in ChineseLanguage
(termFormat ChineseTraditionalLanguage oppositeDirection "相反的方向") domainEnglishFormat.kif 42234-42234 "相反的方向" is the printable form of opposite direction in ChineseTraditionalLanguage
(termFormat EnglishLanguage oppositeDirection "opposite direction") domainEnglishFormat.kif 42233-42233 "opposite direction" is the printable form of opposite direction in english language

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


(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (measure ?ZEPHYR
            (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD))
        (oppositeDirection ?DIR-TOWARD ?DIR-FROM))
    (surfaceWindDirection ?PLACE ?DIR-FROM))
Weather.kif 182-187
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?DIR)
        (instance ?DIR PositionalAttribute)
        (oppositeDirection ?DIR ?OPPDIR))
    (orientation ?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 15831-15836
(=>
    (and
        (surfaceWindVelocity ?PLACE ?SPEED ?DIR-TOWARD)
        (oppositeDirection ?DIR-TOWARD ?DIR-FROM))
    (surfaceWindDirection ?PLACE ?DIR-FROM))
Weather.kif 176-180
(=>
    (oppositeDirection ?DIR1 ?DIR2)
    (contraryAttribute ?DIR1 ?DIR2))
Mid-level-ontology.kif 15838-15840

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

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


(oppositeDirection East West) Mid-level-ontology.kif 15829-15829 West is an opposite direction of east
(oppositeDirection North South) Mid-level-ontology.kif 15828-15828 South is an opposite direction of north
(oppositeDirection Northeast Southwest) Geography.kif 3496-3496 Southwest is an opposite direction of northeast
(oppositeDirection Northwest Southeast) Geography.kif 3508-3508 Southeast is an opposite direction of northwest
(oppositeDirection Upstream Downstream) Geography.kif 5123-5123 Downstream is an opposite direction of upstream


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