DirectionalAttribute - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DirectionalAttribute

DirectionalAttribute(Atributo Directional)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3802-3803
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17023-17024
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10864-10864
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9984-9984
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17022-17022	Atributo Directional e' uma sub-classe de Atributo Posicional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17044-17044	East e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17033-17033	North e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3648-3648	Northeast e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3682-3682	Northwest e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17037-17037	South e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3659-3659	Southeast e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3670-3670	Southwest e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17047-17047	West e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1237-1237
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1695-1695
No TPTP formula. May not be expressible in strict first order.	french_format.kif 915-915
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 448-448
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 451-451
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2599-2599
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 867-867
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 453-453
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 487-487
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 936-936
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 452-452

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1277-1277	O argumento numero 4 de AccelerationFn e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Geography.kif 477-477	O argumento numero 1 de DirectionalSubregionFn e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Geography.kif 406-406	O argumento numero 1 de LatitudeFn e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Geography.kif 444-444	O argumento numero 1 de LongitudeFn e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6671-6671	O argumento numero 4 de VelocityFn e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16977-16977	O argumento numero 2 de faces e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Weather.kif 253-253	O argumento numero 3 de highAltitudeWindVelocity e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Weather.kif 204-204	O argumento numero 3 de lowAltitudeWindVelocity e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3770-3770	O argumento numero 3 de magneticVariation e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Weather.kif 230-230	O argumento numero 3 de mediumAltitudeWindVelocity e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1688-1688	O argumento numero 2 de slopeGradientTowardsOrientation e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Weather.kif 169-169	O argumento numero 2 de surfaceWindDirection e' uma instancia de Atributo Directional
No TPTP formula. May not be expressible in strict first order.	Weather.kif 106-106	O argumento numero 3 de surfaceWindVelocity e' uma instancia de Atributo Directional

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17026-17031	Atributo Posicional e' uma instancia de Atributo Directional Objeto e' Atributo Posicional em relacao a Objeto Objeto e' Atributo Posicional em relacao a Objeto Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 493-498	Atributo Directional e' uma instancia de Atributo Directional Area Geografica e' uma instancia de Area Geografica DirectionalSubregionFn Atributo Directional and Area Geografica e' uma instancia de Area Geografica geographicSubregion DirectionalSubregionFn Atributo Directional and Area Geografica and Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 500-505	Atributo Directional e' uma instancia de Atributo Directional Area Geografica e' uma instancia de Area Geografica DirectionalSubregionFn Atributo Directional and Area Geografica e' uma instancia de Area Geografica DirectionalSubregionFn Atributo Directional and Area Geografica e' Atributo Directional em relacao a GeographicCenterFn Area Geografica

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3595-3615	Objeto e' uma instancia de Area Geografica Objeto e' situado em Objeto Objeto e' uma instancia de Tropics Numero Real Longitude, Atributo Directional, Numero Real and Unidade de Medida objectGeographicCoordinates Objeto, Numero Real Unidade de Medida(s) and Longitude Unidade de Medida e' uma instancia de UnitOfAngularMeasure Numero Real e' menos que Numero Real Numero Real Unidade de Medida(s) e' igual a LatitudeFn Atributo Directional, 23.0 AngularDegree(s), 26.0 ArcMinute(s) and 11.5 ArcSecond(s) Atributo Directional e' uma instancia de Atributo Directional Atributo Directional e' igual a North Atributo Directional e' igual a South
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18149-18183	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 623-642	Processo e' uma instancia de TropicalCyclonicSystem Processo tem como origem Objeto Objeto e' uma instancia de NorthAtlanticOcean Objeto e' uma instancia de PacificOcean Objeto e' uma instancia de IndianOcean Objeto Atributo Directional, Numero Real and Longitude Objeto e' situado em Objeto Atributo Directional e' uma instancia de Atributo Directional objectGeographicCoordinates Objeto, LatitudeFn Atributo Directional and Numero Real AngularDegree(s) and Longitude Atributo Directional e' igual a North Atributo Directional e' igual a South Numero Real e' menos que 5.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2264-2269	Entidade e' uma instancia de Compass Entidade Entidade e' uma instancia de Atributo Directional Entidade define Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11301-11312	Fisico e' uma instancia de Mudanca de Direcao Entidade Entidade e' uma instancia de Atributo Directional Fisico e' feito de forma Entidade vale durante o comeco de tempo de existencia de Fisico Fisico e' feito de forma Entidade vale durante o fim de tempo de existencia de Fisico Fisico e' feito de forma Entidade vale durante o fim de tempo de existencia de Fisico Fisico e' feito de forma Entidade vale durante o comeco de tempo de existencia de Fisico

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