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
は
一価関係
の
instance
では %n
(
instance
depth
TernaryPredicate
)
Merge.kif 7749-7749
depth
は
3進述語
の
instance
では %n
(
subrelation
depth
distance
)
Merge.kif 7747-7747
depth
は
distance
の
subrelation
では %n
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
水域
は
Waterway
の
instance
では %n
depth
物理
,
水域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfLength
の
instance
では %n
実数
は
実数
より
less
では %n
navigableForDraft
水域
and
実数
の
測定単位
(s)
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
exists
(?BOTTOM)
(
and
(
bottom
?BOTTOM ?OBJ1)
(
distance
?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7762-7767
depth
自己接続オブジェクト
,
物理
and
長さ測定
自己接続オブジェクト
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
と
物理
の
distance
は
長さ測定
では %n
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
orientation
?OBJ1 ?OBJ2
Below
))
Merge.kif 7758-7760
depth
オブジェクト
,
オブジェクト
and
長さ測定
オブジェクト
は
Below
対
オブジェクト
では %n
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
地理的地域
,
時間間隔
and
関数量
移動
コレクション
,
物理
,
自己接続オブジェクト
,
エンティティー
,
自己接続オブジェクト
and
移動
FALL
移動
は
Raining
の
instance
では %n
eventLocated
移動
and
地理的地域
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
コレクション
は
コレクション
の
instance
では %n
objectTransferred
移動
and
コレクション
物理
は
水
の
instance
では %n
物理
は
コレクション
の
member
では %n
自己接続オブジェクト
は
Container
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
Flat
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
地理的地域
に
located
して %n
ContainerEmpty
は
自己接続オブジェクト
の
attribute
では %n は
時間間隔
の
beginning
の
during
holds %n{ない}
コレクション
は
自己接続オブジェクト
に
located
して %n
コレクション
の
top
は
エンティティー
では
depth
エンティティー
,
自己接続オブジェクト
and
移動
FALL
移動
FALL は
時間間隔
+
関数量
と
equal
では %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
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
地理的地域
,
時間間隔
and
関数量
移動
オブジェクト
,
自己接続オブジェクト
,
エンティティー
,
自己接続オブジェクト
and
エンティティー
移動
は
Snowing
の
instance
では %n
eventLocated
移動
and
地理的地域
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
Snow
の
instance
では %n
objectTransferred
移動
and
オブジェクト
自己接続オブジェクト
は
BoardOrBlock
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
Flat
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
地理的地域
に
located
して %n
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
自己接続オブジェクト
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
自己接続オブジェクト
に
located
して %n
オブジェクト
の
top
は
エンティティー
では
depth
エンティティー
,
自己接続オブジェクト
and
エンティティー
エンティティー
は
時間間隔
+
関数量
と
equal
では %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17571-17577
waterDepth
自己接続オブジェクト
and
長さ測定
自己接続オブジェクト
自己接続オブジェクト
depth
自己接続オブジェクト
,
自己接続オブジェクト
and
長さ測定
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
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