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 18078-18080
(domain oppositeDirection 1 PositionalAttribute)	Mid-level-ontology.kif 18075-18075	Le nombre 1 argument de oppositeDirection est une instance de attribut positionnel
(domain oppositeDirection 2 PositionalAttribute)	Mid-level-ontology.kif 18076-18076	Le nombre 2 argument de oppositeDirection est une instance de attribut positionnel
(instance oppositeDirection BinaryPredicate)	Mid-level-ontology.kif 18072-18072	oppositeDirection est une instance de pr�dicat binaire
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18074-18074	oppositeDirection est une instance de relation irr�flexive
(instance oppositeDirection SymmetricRelation)	Mid-level-ontology.kif 18073-18073	oppositeDirection est une instance de relation sym�trique

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

antecedent

(=> (and (instance ?ZEPHYR WindFlow) (measure ?ZEPHYR (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD)) (oppositeDirection ?DIR-TOWARD ?DIR-FROM)) (surfaceWindDirection ?PLACE ?DIR-FROM))	Weather.kif 194-199	Physique est une instance de WindFlow la mesure de physique est mesure de longueur par dur�e temporel en r�gion dans la direction entit�-TOWARD oppositeDirection entit�-TOWARD and entit�-FROM surfaceWindDirection r�gion and entit�-FROM
(=> (and (orientation ?OBJ1 ?OBJ2 ?DIR) (instance ?DIR PositionalAttribute) (oppositeDirection ?DIR ?OPPDIR)) (orientation ?OBJ2 ?OBJ1 ?OPPDIR))	Mid-level-ontology.kif 18085-18090	Objet est attribut positionnel � objet attribut positionnel est une instance de attribut positionnel oppositeDirection attribut positionnel and attribut positionnel objet est attribut positionnel � objet
(=> (and (surfaceWindVelocity ?PLACE ?SPEED ?DIR-TOWARD) (oppositeDirection ?DIR-TOWARD ?DIR-FROM)) (surfaceWindDirection ?PLACE ?DIR-FROM))	Weather.kif 188-192	surfaceWindVelocity objet, quantit� physique and entit�-TOWARD oppositeDirection entit�-TOWARD and entit�-FROM surfaceWindDirection objet and entit�-FROM
(=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2))	Mid-level-ontology.kif 18092-18094	oppositeDirection attribut positionnel and attribut positionnel attribut positionnel est l'oppos� de attribut positionnel

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 18099-18133

Objet est une instance de Saw processus est une instance de couper objet est un instrument pour processus objet est une instance de objet objet est un patient de processus
processus entit�, entit�, interval temporel, position temporel, position temporel and objet processus est une instance de d�palcement processus est un sous-processus de processus objet est une instance de CuttingDevice objet est une partie de objet objet rencontre objet objet est un patient de processus position temporel est une instance de interval temporel position temporel est une instance de interval temporel temps d'existence de processus est interval temporel interval temporel est une partie de position temporel interval temporel est une partie de position temporel entit� est une instance de attribut directionnel entit� est une instance de attribut directionnel
- les entit�es dans le processus processus bougent entit� pendant position temporel
- les entit�es dans le processus processus bougent entit� entit� est entit� oppositeDirection entit� and entit� ~{ entit� est entit� } ~{ oppositeDirection entit� and entit� } pendant position temporel

appearance as argument number 0

(oppositeDirection East West)	Mid-level-ontology.kif 18083-18083	oppositeDirection East and West
(oppositeDirection North South)	Mid-level-ontology.kif 18082-18082	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 5438-5438	oppositeDirection Upstream and Downstream

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

KB Term:			Term intersection

English Word: