oppositeDirection - Sigma Knowledge base Browser

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 15851-15853
(domain oppositeDirection 1 PositionalAttribute)	Mid-level-ontology.kif 15848-15848	domain oppositeDirection, 1 and PositionalAttribute
(domain oppositeDirection 2 PositionalAttribute)	Mid-level-ontology.kif 15849-15849	domain oppositeDirection, 2 and PositionalAttribute
(instance oppositeDirection BinaryPredicate)	Mid-level-ontology.kif 15845-15845	instance oppositeDirection and BinaryPredicate
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 15847-15847	instance oppositeDirection and IrreflexiveRelation
(instance oppositeDirection SymmetricRelation)	Mid-level-ontology.kif 15846-15846	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 42241-42241
(termFormat ChineseTraditionalLanguage oppositeDirection "相反的方向")	domainEnglishFormat.kif 42240-42240
(termFormat EnglishLanguage oppositeDirection "opposite direction")	domainEnglishFormat.kif 42239-42239

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	instance Object and WindFlow measure Object and VelocityFn LengthMeasure, TimeDuration, Region and entity-TOWARD oppositeDirection entity-TOWARD and entity-FROM surfaceWindDirection Region and entity-FROM
(=> (and (orientation ?OBJ1 ?OBJ2 ?DIR) (instance ?DIR PositionalAttribute) (oppositeDirection ?DIR ?OPPDIR)) (orientation ?OBJ2 ?OBJ1 ?OPPDIR))	Mid-level-ontology.kif 15858-15863	orientation Object, Object and PositionalAttribute instance PositionalAttribute and PositionalAttribute oppositeDirection PositionalAttribute and PositionalAttribute orientation Object, Object and PositionalAttribute
(=> (and (surfaceWindVelocity ?PLACE ?SPEED ?DIR-TOWARD) (oppositeDirection ?DIR-TOWARD ?DIR-FROM)) (surfaceWindDirection ?PLACE ?DIR-FROM))	Weather.kif 175-179	surfaceWindVelocity Object, PhysicalQuantity and entity-TOWARD oppositeDirection entity-TOWARD and entity-FROM surfaceWindDirection Object and entity-FROM
(=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2))	Mid-level-ontology.kif 15865-15867	oppositeDirection PositionalAttribute and PositionalAttribute contraryAttribute PositionalAttribute and PositionalAttribute

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 15871-15905

instance Object and Saw instance Process and Cutting instrument Process and Object instance Object and Object patient Process and Object
Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object instance Process and Motion subProcess Process and Process instance Object and CuttingDevice part Object and Object meetsSpatially Object and Object patient Process and Object instance TimePosition and TimeInterval instance TimePosition and TimeInterval equal WhenFn Process and TimeInterval temporalPart TimeInterval and TimePosition temporalPart TimeInterval and TimePosition instance Entity and DirectionalAttribute instance Entity and DirectionalAttribute
- holdsDuring TimePosition and direction Process and Entity
- holdsDuring TimePosition and direction Process and Entity equal Entity and Entity oppositeDirection Entity and Entity ~{ equal Entity and Entity } ~{ oppositeDirection Entity and Entity }

appearance as argument number 0

(oppositeDirection East West)	Mid-level-ontology.kif 15856-15856	oppositeDirection East and West
(oppositeDirection North South)	Mid-level-ontology.kif 15855-15855	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 5152-5152	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

KB Term:			Term intersection

English Word: