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
Aqiqah
Sigma KEE - oppositeDirection
oppositeDirection
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18129-18131
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18126-18126
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 18127-18127
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 18123-18123
oppositeDirection
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18125-18125
oppositeDirection
e' uma
instancia
de
Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18124-18124
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 42324-42324
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42323-42323
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42322-42322
antecedent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Weather.kif 188-192
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 18143-18145
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 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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18134-18134
oppositeDirection
East
and
West
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18133-18133
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
Aqiqah