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 7751-7756
(
documentation
depth
JapaneseLanguage
"
TernaryPredicate
は、
Object
の
top
と
Object
の
top
の上にある別の点との間の
distance
を示すために使用される (多くの場合、この他のポイン トは海面になる)。注:この
Predicate
は、例えば、海洋生物や潜水艦の深さを指定するために使用でき る。")
japanese_format.kif 1380-1383
(
instance
depth
SingleValuedRelation
)
Merge.kif 7748-7748
depth
est une
instance
de
relation simple
(
instance
depth
TernaryPredicate
)
Merge.kif 7749-7749
depth
est une
instance
de
pr�dicat ternaire
(
subrelation
depth
distance
)
Merge.kif 7747-7747
depth
est une
sous
-relation 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 2667-2673
Plan d'eau
est une
instance
de
Waterway
depth
physique
,
plan d'eau
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
moins
que
nombre r�el
navigableForDraft
plan d'eau
and
nombre r�el
unit� de mesure
(s)
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
exists
(?BOTTOM)
(
and
(
bottom
?BOTTOM ?OBJ1)
(
distance
?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7762-7767
depth
objet en une partie
,
physique
and
mesure de longueur
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
la
distance
entre
objet en une partie
et
physique
est
mesure de longueur
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
orientation
?OBJ1 ?OBJ2
Below
))
Merge.kif 7758-7760
depth
objet
,
objet
and
mesure de longueur
objet
est
Below
�
objet
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 2826-2851
rainfallIntensity
secteur g�ographique
,
interval temporel
and
function de quantit�
transf�re
collection
,
physique
,
objet en une partie
,
entit�
,
objet en une partie
and
transf�re
FALL
transf�re
est une
instance
de
Raining
eventLocated
transf�re
and
secteur g�ographique
temps
d'existence de
transf�re
prend place
pendant
interval temporel
collection
est une
instance
de
collection
objectTransferred
transf�re
and
collection
physique
est une
instance
de
eau
physique
est un
membre
de
collection
objet en une partie
est une
instance
de
Container
l'
arri
�re de
objet en une partie
est
objet en une partie
Flat
est un
attribut
de
objet en une partie
objet en une partie
est
situ
� �
secteur g�ographique
ContainerEmpty
est un
attribut
de
objet en une partie
pendant
le
d
�but de
interval temporel
collection
est
situ
� �
objet en une partie
le
dessus
de
collection
est
entit�
depth
entit�
,
objet en une partie
and
transf�re
FALL
transf�re
FALL est
interval temporel
+
function de quantit�
pendant
la
fin
de
interval temporel
(=>
(
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 3031-3058
snowfallIntensity
secteur g�ographique
,
interval temporel
and
function de quantit�
transf�re
objet
,
objet en une partie
,
entit�
,
objet en une partie
and
entit�
transf�re
est une
instance
de
Snowing
eventLocated
transf�re
and
secteur g�ographique
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objet
est une
instance
de
Snow
objectTransferred
transf�re
and
objet
objet en une partie
est une
instance
de
BoardOrBlock
l'
arri
�re de
objet en une partie
est
objet en une partie
Flat
est un
attribut
de
objet en une partie
objet en une partie
est
situ
� �
secteur g�ographique
entit�
entit�
est une
instance
de
objet
entit�
est
situ
� �
objet en une partie
pendant
le
d
�but de
interval temporel
objet
est
situ
� �
objet en une partie
le
dessus
de
objet
est
entit�
depth
entit�
,
objet en une partie
and
entit�
entit�
est
interval temporel
+
function de quantit�
pendant
la
fin
de
interval temporel
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17571-17577
waterDepth
objet en une partie
and
mesure de longueur
objet en une partie
objet en une partie
depth
objet en une partie
,
objet en une partie
and
mesure de longueur
le
dessus
de
objet en une partie
est
objet en une partie
l'
arri
�re de
objet en une partie
est
objet en une partie
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