Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
oppositeDirection
Sigma KEE - oppositeDirection
oppositeDirection
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18156-18158
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18153-18153
O argumento numero 1 de
oppositeDirection
e' uma
instancia
de
Atributo Posicional
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18154-18154
O argumento numero 2 de
oppositeDirection
e' uma
instancia
de
Atributo Posicional
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18150-18150
oppositeDirection
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18152-18152
oppositeDirection
e' uma
instancia
de
Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18151-18151
oppositeDirection
e' uma
instancia
de
Relacao Simetrica
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1847-1847
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1846-1846
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1845-1845
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42326-42326
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42325-42325
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42324-42324
antecedent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Weather.kif 176-180
surfaceWindVelocity
Objeto
,
Quantidade Fisica
and
Entidade
-TOWARD
oppositeDirection
Entidade
-TOWARD and
Entidade
-FROM
surfaceWindDirection
Objeto
and
Entidade
-FROM
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18170-18172
oppositeDirection
Atributo Posicional
and
Atributo Posicional
Atributo Posicional
e' &o oposto de
Atributo Posicional
consequent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18161-18161
oppositeDirection
East
and
West
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18160-18160
oppositeDirection
North
and
South
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3671-3671
oppositeDirection
Northeast
and
Southwest
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3683-3683
oppositeDirection
Northwest
and
Southeast
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5460-5460
oppositeDirection
Upstream
and
Downstream
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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