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 15849-15851
(domain oppositeDirection 1 PositionalAttribute) Mid-level-ontology.kif 15846-15846 domain oppositeDirection, 1 and PositionalAttribute
(domain oppositeDirection 2 PositionalAttribute) Mid-level-ontology.kif 15847-15847 domain oppositeDirection, 2 and PositionalAttribute
(instance oppositeDirection BinaryPredicate) Mid-level-ontology.kif 15843-15843 instance oppositeDirection and BinaryPredicate
(instance oppositeDirection IrreflexiveRelation) Mid-level-ontology.kif 15845-15845 instance oppositeDirection and IrreflexiveRelation
(instance oppositeDirection SymmetricRelation) Mid-level-ontology.kif 15844-15844 instance oppositeDirection and SymmetricRelation

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

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


(=>
    (and
        (instance ?ZEPHYR WindFlow)
        (measure ?ZEPHYR
            (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD))
        (oppositeDirection ?DIR-TOWARD ?DIR-FROM))
    (surfaceWindDirection ?PLACE ?DIR-FROM))
Weather.kif 181-186
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?DIR)
        (instance ?DIR PositionalAttribute)
        (oppositeDirection ?DIR ?OPPDIR))
    (orientation ?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 15856-15861
(=>
    (and
        (surfaceWindVelocity ?PLACE ?SPEED ?DIR-TOWARD)
        (oppositeDirection ?DIR-TOWARD ?DIR-FROM))
    (surfaceWindDirection ?PLACE ?DIR-FROM))
Weather.kif 175-179
(=>
    (oppositeDirection ?DIR1 ?DIR2)
    (contraryAttribute ?DIR1 ?DIR2))
Mid-level-ontology.kif 15863-15865

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 15869-15903

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


(oppositeDirection East West) Mid-level-ontology.kif 15854-15854 oppositeDirection East and West
(oppositeDirection North South) Mid-level-ontology.kif 15853-15853 oppositeDirection North and South
(oppositeDirection Northeast Southwest) Geography.kif 3509-3509 oppositeDirection Northeast and Southwest
(oppositeDirection Northwest Southeast) Geography.kif 3521-3521 oppositeDirection Northwest and Southeast
(oppositeDirection Upstream Downstream) Geography.kif 5137-5137 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