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 7729-7734
(
documentation
depth
JapaneseLanguage
"
TernaryPredicate
は、
Object
の
top
と
Object
の
top
の上にある別の点との間の
distance
を示すために使用される (多くの場合、この他のポイン トは海面になる)。注:この
Predicate
は、例えば、海洋生物や潜水艦の深さを指定するために使用でき る。")
japanese_format.kif 1380-1383
(
instance
depth
SingleValuedRelation
)
Merge.kif 7726-7726
深度
是
单值关系
的
instance
(
instance
depth
TernaryPredicate
)
Merge.kif 7727-7727
深度
是
三元谓语
的
instance
(
subrelation
depth
distance
)
Merge.kif 7725-7725
深度
是
距离
的
subrelation
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
如果
水域
是
水路
的
instance
和 对于
那个 水域
从
物理
的
depth
是
实数
测量单位
和
那个 测量单位
是
UnitOfLength
的
instance
和
另一个 实数
是
lessThan
那个 实数
,
然后
那个 另外 实数
那个 测量单位
是草案
那个 水域
的
navigable
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
exists
(?BOTTOM)
(
and
(
bottom
?BOTTOM ?OBJ1)
(
distance
?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7740-7745
如果 对于
物理
从
自身连接物体
的
depth
是
长度测量
,
然后 有存在
另一个 自身连接物体
这样
那个 自身连接物体
的
bottom
是
那个 另外 自身连接物体
和
那个 另外 自身连接物体
和
那个 物理
的
distance
是
那个 长度测量
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
orientation
?OBJ1 ?OBJ2
Below
))
Merge.kif 7736-7738
如果 对于
客体
从
另一个 客体
的
depth
是
长度测量
,
然后
那个 另外 客体
在
那个 客体
的
下面
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 2830-2855
如果
rain
的
rate
在
地理区域
期间
时距
是
函数量
,
然后 有存在
转移
,
群体
,, ,
物理
,, ,
自身连接物体
,, ,
实体
,, ,
另一个 自身连接物体
, and 和
那个 转移
FALL 这样
那个 转移
是
下雨
的
instance
和
那个 转移
是
located
在
那个 地理区域
和
那个 转移
出现 的
time
在
那个 时距
时段内发生 和
那个 群体
是
群体
的
instance
和
objectTransferred
那个 转移
and
那个 群体
和
那个 物理
是
水
的
instance
和
那个 物理
是
那个 群体
的
member
和
那个 自身连接物体
是
容器
的
instance
和
那个 自身连接物体
的
bottom
是
那个 另外 自身连接物体
和
平面
是
那个 另外 自身连接物体
的
attribute
和
那个 自身连接物体
是
located
在
那个 地理区域
和
空容器
是
那个 自身连接物体
的
attribute
在
那个 时距
的开始
holdsDuring
和
那个 群体
是
located
在
那个 自身连接物体
和
那个 实体
是
那个 群体
的
top
和 对于
那个 另外 自身连接物体
从
那个 实体
的
depth
是
那个 转移
FALL 和
那个 转移
FALL
equal
那个 时距
和
那个 函数量
在
那个 时距
的结束
holdsDuring
(=>
(
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 3035-3062
如果
snow
的下降
rate
在
地理区域
期间
时距
是
函数量
,
然后 有存在
转移
,
客体
,, ,
自身连接物体
,, ,
实体
,, ,
另一个 自身连接物体
, and 和
另一个 实体
这样
那个 转移
是
下雪
的
instance
和
那个 转移
是
located
在
那个 地理区域
和
那个 转移
出现 的
time
在
那个 时距
时段内发生 和
那个 客体
是
雪
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 自身连接物体
是
板或块
的
instance
和
那个 自身连接物体
的
bottom
是
那个 另外 自身连接物体
和
平面
是
那个 另外 自身连接物体
的
attribute
和
那个 自身连接物体
是
located
在
那个 地理区域
和 不存在
第三 实体
这样
那个 第三 实体
是
客体
的
instance
和
那个 第三 实体
是
located
在
那个 自身连接物体
在
那个 时距
的开始
holdsDuring
和
那个 客体
是
located
在
那个 自身连接物体
和
那个 实体
是
那个 客体
的
top
和 对于
那个 另外 自身连接物体
从
那个 实体
的
depth
是
那个 另外 实体
和
那个 另外 实体
equal
那个 时距
和
那个 函数量
在
那个 时距
的结束
holdsDuring
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17572-17578
如果
长度测量
是
自身连接物体
的
water
深度,
然后 有存在
另一个 自身连接物体
和
第三 自身连接物体
这样 对于
那个 另外 自身连接物体
从
那个 第三 自身连接物体
的
depth
是
那个 长度测量
和
那个 第三 自身连接物体
是
那个 自身连接物体
的
top
和
那个 自身连接物体
的
bottom
是
那个 另外 自身连接物体
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