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 18129-18131
(domain oppositeDirection 1 PositionalAttribute)	Mid-level-ontology.kif 18126-18126	O argumento numero 1 de oppositeDirection e' uma instancia de Atributo Posicional
(domain oppositeDirection 2 PositionalAttribute)	Mid-level-ontology.kif 18127-18127	O argumento numero 2 de oppositeDirection e' uma instancia de Atributo Posicional
(instance oppositeDirection BinaryPredicate)	Mid-level-ontology.kif 18123-18123	oppositeDirection e' uma instancia de Predicado Binario
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18125-18125	oppositeDirection e' uma instancia de Relacao Irreflexiva
(instance oppositeDirection SymmetricRelation)	Mid-level-ontology.kif 18124-18124	oppositeDirection e' uma instancia de Relacao Simetrica

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

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	Fisico e' uma instancia de WindFlow a medida de Fisico e' Medida de Comprimento por Duracao Temporal Regiao na direcao Entidade-TOWARD oppositeDirection Entidade-TOWARD and Entidade-FROM surfaceWindDirection Regiao and Entidade-FROM
(=> (and (orientation ?OBJ1 ?OBJ2 ?DIR) (instance ?DIR PositionalAttribute) (oppositeDirection ?DIR ?OPPDIR)) (orientation ?OBJ2 ?OBJ1 ?OPPDIR))	Mid-level-ontology.kif 18136-18141	Objeto e' Atributo Posicional em relacao a Objeto Atributo Posicional e' uma instancia de Atributo Posicional oppositeDirection Atributo Posicional and Atributo Posicional Objeto e' Atributo Posicional em relacao a Objeto
(=> (and (surfaceWindVelocity ?PLACE ?SPEED ?DIR-TOWARD) (oppositeDirection ?DIR-TOWARD ?DIR-FROM)) (surfaceWindDirection ?PLACE ?DIR-FROM))	Weather.kif 188-192	surfaceWindVelocity Objeto, Quantidade Fisica and Entidade-TOWARD oppositeDirection Entidade-TOWARD and Entidade-FROM surfaceWindDirection Objeto and Entidade-FROM
(=> (oppositeDirection ?DIR1 ?DIR2) (contraryAttribute ?DIR1 ?DIR2))	Mid-level-ontology.kif 18143-18145	oppositeDirection Atributo Posicional and Atributo Posicional Atributo Posicional e' &o oposto de Atributo Posicional

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 18150-18184

Objeto e' uma instancia de Saw Processo e' uma instancia de Cortar Objeto e' um instrumento para Processo Objeto e' uma instancia de Objeto Objeto e' um patient de Processo
Processo Entidade, Entidade, Intervalo Temporal, Posicao Temporal, Posicao Temporal and Objeto Processo e' uma instancia de Movimento Processo e' um sub-processo de Processo Objeto e' uma instancia de CuttingDevice Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto e' um patient de Processo Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Entidade e' uma instancia de Atributo Directional Entidade e' uma instancia de Atributo Directional
- as entidades no processo Processo se movem Entidade vale durante Posicao Temporal
- as entidades no processo Processo se movem Entidade Entidade e' igual a Entidade oppositeDirection Entidade and Entidade ~{ Entidade e' igual a Entidade } ~{ oppositeDirection Entidade and Entidade } vale durante Posicao Temporal

appearance as argument number 0

(oppositeDirection East West)	Mid-level-ontology.kif 18134-18134	oppositeDirection East and West
(oppositeDirection North South)	Mid-level-ontology.kif 18133-18133	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: