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 18156-18158
(domain oppositeDirection 1 PositionalAttribute)	Mid-level-ontology.kif 18153-18153	O argumento numero 1 de oppositeDirection e' uma instancia de Atributo Posicional
(domain oppositeDirection 2 PositionalAttribute)	Mid-level-ontology.kif 18154-18154	O argumento numero 2 de oppositeDirection e' uma instancia de Atributo Posicional
(instance oppositeDirection BinaryPredicate)	Mid-level-ontology.kif 18150-18150	oppositeDirection e' uma instancia de Predicado Binario
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18152-18152	oppositeDirection e' uma instancia de Relacao Irreflexiva
(instance oppositeDirection SymmetricRelation)	Mid-level-ontology.kif 18151-18151	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 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	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 18163-18168	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 176-180	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 18170-18172	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 18177-18211

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 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 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: