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 19700-19702
(domain oppositeDirection 1 PositionalAttribute)	Mid-level-ontology.kif 19697-19697	oppositeDirection の数値 1 引数は位置属性の instance では
(domain oppositeDirection 2 PositionalAttribute)	Mid-level-ontology.kif 19698-19698	oppositeDirection の数値 2 引数は位置属性の instance では
(instance oppositeDirection BinaryPredicate)	Mid-level-ontology.kif 19694-19694	oppositeDirection は 2進述語の instance では
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 19696-19696	oppositeDirection は非反射関係の instance では
(instance oppositeDirection SymmetricRelation)	Mid-level-ontology.kif 19695-19695	oppositeDirection は対称関係の instance では

appearance as argument number 2

(format ChineseLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向")	domainEnglishFormat.kif 1851-1851
(format ChineseTraditionalLanguage oppositeDirection "%2 %n 是 %1 的 opposite 方向")	domainEnglishFormat.kif 1850-1850
(format EnglishLanguage oppositeDirection "%2 is %n an opposite direction of %1")	domainEnglishFormat.kif 1849-1849
(termFormat ChineseLanguage oppositeDirection "相反的方向")	domainEnglishFormat.kif 42332-42332
(termFormat ChineseTraditionalLanguage oppositeDirection "相反的方向")	domainEnglishFormat.kif 42331-42331
(termFormat EnglishLanguage oppositeDirection "opposite direction")	domainEnglishFormat.kif 42330-42330

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	物理は WindFlow の instance では物理の measure は方向の分の %2 per 1 では oppositeDirection エンティティー_TOWARD and エンティティー_FROM surfaceWindDirection 地域 and エンティティー_FROM
(=> (and (orientation ?OBJ1 ?OBJ2 ?DIR) (instance ?DIR PositionalAttribute) (oppositeDirection ?DIR ?OPPDIR)) (orientation ?OBJ2 ?OBJ1 ?OPPDIR))	Mid-level-ontology.kif 19707-19712	オブジェクトは位置属性対オブジェクトでは位置属性は位置属性の instance では oppositeDirection 位置属性 and 位置属性オブジェクトは位置属性対オブジェクトでは
(=> (and (surfaceWindVelocity ?PLACE ?SPEED ?DIR_TOWARD) (oppositeDirection ?DIR_TOWARD ?DIR_FROM)) (surfaceWindDirection ?PLACE ?DIR_FROM))	Weather.kif 176-180	surfaceWindVelocity オブジェクト, 物理量 and エンティティー_TOWARD oppositeDirection エンティティー_TOWARD and エンティティー_FROM surfaceWindDirection オブジェクト and エンティティー_FROM
(=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2))	Mid-level-ontology.kif 19714-19716	oppositeDirection 位置属性 and 位置属性位置属性は位置属性の disjoint では

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 19721-19755

オブジェクトは Saw の instance では工程は切断の instance ではオブジェクトは工程の instrument ではオブジェクトはオブジェクトの instance ではオブジェクトは工程の patient では
工程エンティティー, エンティティー, 時間間隔, 時間位置, 時間位置 and オブジェクト工程は motion の instance では工程は工程% の subprocess ではオブジェクトは CuttingDevice の instance ではオブジェクトはオブジェクトの part ではオブジェクトはオブジェクトと meets オブジェクトは工程の patient では時間位置は時間間隔の instance では時間位置は時間間隔の instance では equal 工程の time の existence and 時間間隔時間間隔は時間位置の part では時間間隔は時間位置の part ではエンティティーは方向属性の instance ではエンティティーは方向属性の instance では
- プロセス工程のエンテテｲはエンティティーを moving しては時間位置の during holds
- プロセス工程のエンテテｲはエンティティーを moving して equal エンティティー and エンティティー oppositeDirection エンティティー and エンティティー ~{ equal エンティティー and エンティティー } ~{ oppositeDirection エンティティー and エンティティー } は時間位置の during holds

appearance as argument number 0

(oppositeDirection East West)	Mid-level-ontology.kif 19705-19705	oppositeDirection East and West
(oppositeDirection North South)	Mid-level-ontology.kif 19704-19704	oppositeDirection North and South
(oppositeDirection Northeast Southwest)	Geography.kif 3829-3829	oppositeDirection Northeast and Southwest
(oppositeDirection Northwest Southeast)	Geography.kif 3841-3841	oppositeDirection Northwest and Southeast
(oppositeDirection Upstream Downstream)	Geography.kif 5763-5763	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: