TreeView 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 18156-18158
(domain oppositeDirection 1 PositionalAttribute)	Mid-level-ontology.kif 18153-18153	oppositeDirection の数値 1 引数は位置属性の instance では %n
(domain oppositeDirection 2 PositionalAttribute)	Mid-level-ontology.kif 18154-18154	oppositeDirection の数値 2 引数は位置属性の instance では %n
(instance oppositeDirection BinaryPredicate)	Mid-level-ontology.kif 18150-18150	oppositeDirection は 2進述語の instance では %n
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18152-18152	oppositeDirection は非反射関係の instance では %n
(instance oppositeDirection SymmetricRelation)	Mid-level-ontology.kif 18151-18151	oppositeDirection は対称関係の instance では %n

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

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 では %n 物理の measure は方向の分の %2 per 1 では %n 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 18163-18168	オブジェクトは位置属性対オブジェクトでは %n 位置属性は位置属性の instance では %n oppositeDirection 位置属性 and 位置属性オブジェクトは位置属性対オブジェクトでは %n
(=> (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 18170-18172	oppositeDirection 位置属性 and 位置属性位置属性は位置属性の disjoint では %n

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 18177-18211

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

appearance as argument number 0

(oppositeDirection East West)	Mid-level-ontology.kif 18161-18161	oppositeDirection East and West
(oppositeDirection North South)	Mid-level-ontology.kif 18160-18160	oppositeDirection North and South
(oppositeDirection Northeast Southwest)	Geography.kif 3671-3671	oppositeDirection Northeast and Southwest
(oppositeDirection Northwest Southeast)	Geography.kif 3683-3683	oppositeDirection Northwest and Southeast
(oppositeDirection Upstream Downstream)	Geography.kif 5460-5460	oppositeDirection Upstream and Downstream

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: