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
depth
Sigma KEE - depth
depth
appearance as argument number 1
(
documentation
depth
ChineseLanguage
"这是一个
TernaryPredicate
,它是用来表示一个
Object
的
top
和这个
Object
top
以上的另外一点 (通常这一点会是海平面)之间的
distance
。注这个
Predicate
可以用来指定例如海洋生物或潜艇的深度。")
chinese_format.kif 2661-2663
(
documentation
depth
EnglishLanguage
"A
TernaryPredicate
that is used to state the
distance
between the
top
of an
Object
and another point that is above the
top
of the
Object
(often this other point will be sea level). Note that this
Predicate
can be used to specify, for example, the depth of marine life or submarines, for example.")
Merge.kif 7765-7770
(
documentation
depth
JapaneseLanguage
"
TernaryPredicate
は、
Object
の
top
と
Object
の
top
の上にある別の点との間の
distance
を示すために使用される (多くの場合、この他のポイン トは海面になる)。注:この
Predicate
は、例えば、海洋生物や潜水艦の深さを指定するために使用でき る。")
japanese_format.kif 1380-1383
(
instance
depth
SingleValuedRelation
)
Merge.kif 7762-7762
depth
e' uma
instancia
de
Relacao com Valor Unico
(
instance
depth
TernaryPredicate
)
Merge.kif 7763-7763
depth
e' uma
instancia
de
Predicado Ternario
(
subrelation
depth
distance
)
Merge.kif 7761-7761
depth
e' uma
sub
-relacao de
distance
appearance as argument number 2
(
format
ChineseLanguage
depth
"对于 %2 从 %1 的
depth
是 %3 ")
domainEnglishFormat.kif 3234-3234
(
format
ChineseTraditionalLanguage
depth
"對於 %2 從 %1 的
depth
是 %3 ")
domainEnglishFormat.kif 3233-3233
(
format
EnglishLanguage
depth
"the
depth
from %1 to %2 is %3")
domainEnglishFormat.kif 3232-3232
(
termFormat
ChineseLanguage
depth
"深度")
domainEnglishFormat.kif 19182-19182
(
termFormat
ChineseTraditionalLanguage
depth
"深度")
domainEnglishFormat.kif 19181-19181
(
termFormat
EnglishLanguage
depth
"depth")
domainEnglishFormat.kif 19180-19180
antecedent
(=>
(
and
(
instance
?WATERWAY
Waterway
)
(
depth
?OBJ ?WATERWAY
(
MeasureFn
?DEPTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
lessThan
?DRAFT ?DEPTH))
(
navigableForDraft
?WATERWAY
(
MeasureFn
?DRAFT ?UNIT)))
Transportation.kif 2700-2706
Area Aquatica
e' uma
instancia
de
Waterway
depth
Fisico
,
Area Aquatica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
menos
que
Numero Real
navigableForDraft
Area Aquatica
and
Numero Real
Unidade de Medida
(s)
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
exists
(?BOTTOM)
(
and
(
bottom
?BOTTOM ?OBJ1)
(
distance
?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7776-7781
depth
Objeto auto-conectado
,
Fisico
and
Medida de Comprimento
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
a
distancia
entre
Objeto auto-conectado
e
Fisico
e'
Medida de Comprimento
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
orientation
?OBJ1 ?OBJ2
Below
))
Merge.kif 7772-7774
depth
Objeto
,
Objeto
and
Medida de Comprimento
Objeto
e'
Below
em relacao a
Objeto
consequent
(=>
(
rainfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(
and
(
instance
?RAIN
Raining
)
(
eventLocated
?RAIN ?AREA)
(
during
(
WhenFn
?RAIN) ?TIME)
(
instance
?CLTN
Collection
)
(
objectTransferred
?RAIN ?CLTN)
(
instance
?R
Water
)
(
member
?R ?CLTN)
(
instance
?BUCKET
Container
)
(
bottom
?BOTTOM ?BUCKET)
(
attribute
?BOTTOM
Flat
)
(
located
?BUCKET ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
attribute
?BUCKET
ContainerEmpty
))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?CLTN ?BUCKET)
(
top
?TOP ?CLTN)
(
depth
?TOP ?BOTTOM ?RAINFALL)
(
equal
?RAINFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 2813-2838
rainfallIntensity
Area Geografica
,
Intervalo Temporal
and
Funcao de Quantidade
Transferencia
Colecao
,
Fisico
,
Objeto auto-conectado
,
Entidade
,
Objeto auto-conectado
and
Transferencia
FALL
Transferencia
e' uma
instancia
de
Raining
eventLocated
Transferencia
and
Area Geografica
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
Colecao
e' uma
instancia
de
Colecao
objectTransferred
Transferencia
and
Colecao
Fisico
e' uma
instancia
de
Agua
Fisico
e'
membro
de
Colecao
Objeto auto-conectado
e' uma
instancia
de
Container
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
situado
em
Area Geografica
ContainerEmpty
e' um
atributo
de
Objeto auto-conectado
vale
durante o
comeco
de
Intervalo Temporal
Colecao
e'
situado
em
Objeto auto-conectado
o
topo
de
Colecao
e'
Entidade
depth
Entidade
,
Objeto auto-conectado
and
Transferencia
FALL
Transferencia
FALL e'
igual
a
Intervalo Temporal
+
Funcao de Quantidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
snowfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
(
and
(
instance
?PROCESS
Snowing
)
(
eventLocated
?PROCESS ?AREA)
(
during
(
WhenFn
?PROCESS) ?TIME)
(
instance
?STUFF
Snow
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?BOARD
BoardOrBlock
)
(
bottom
?BOTTOM ?BOARD)
(
attribute
?BOTTOM
Flat
)
(
located
?BOARD ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
not
(
exists
(?X)
(
and
(
instance
?X
Object
)
(
located
?X ?BOARD)))))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?STUFF ?BOARD)
(
top
?TOP ?STUFF)
(
depth
?TOP ?BOTTOM ?SNOWFALL)
(
equal
?SNOWFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 3018-3045
snowfallIntensity
Area Geografica
,
Intervalo Temporal
and
Funcao de Quantidade
Transferencia
Objeto
,
Objeto auto-conectado
,
Entidade
,
Objeto auto-conectado
and
Entidade
Transferencia
e' uma
instancia
de
Snowing
eventLocated
Transferencia
and
Area Geografica
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Snow
objectTransferred
Transferencia
and
Objeto
Objeto auto-conectado
e' uma
instancia
de
BoardOrBlock
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
situado
em
Area Geografica
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e'
situado
em
Objeto auto-conectado
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Objeto auto-conectado
o
topo
de
Objeto
e'
Entidade
depth
Entidade
,
Objeto auto-conectado
and
Entidade
Entidade
e'
igual
a
Intervalo Temporal
+
Funcao de Quantidade
vale
durante o
fim
de
Intervalo Temporal
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17599-17605
waterDepth
Objeto auto-conectado
and
Medida de Comprimento
Objeto auto-conectado
Objeto auto-conectado
depth
Objeto auto-conectado
,
Objeto auto-conectado
and
Medida de Comprimento
o
topo
de
Objeto auto-conectado
e'
Objeto auto-conectado
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
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