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
è un'
istanza
di
RelazioneMonovalente
(
instance
depth
TernaryPredicate
)
Merge.kif 7763-7763
depth
è un'
istanza
di
PredicatoTernario
(
subrelation
depth
distance
)
Merge.kif 7761-7761
depth
è una
sottorelazione
di
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
SuperficieAcquatica
è un'
istanza
di
Waterway
depth
Entit�Concreta
,
SuperficieAcquatica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
meno
di
NumeroReale
navigableForDraft
SuperficieAcquatica
and
NumeroReale
Unit�DiMisura
(s
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
exists
(?BOTTOM)
(
and
(
bottom
?BOTTOM ?OBJ1)
(
distance
?BOTTOM ?OBJ2 ?DEPTH))))
Merge.kif 7776-7781
depth
OggettoIntegro
,
Entit�Concreta
and
MisuraDiLunghezza
OggettoIntegro
il
fondo
di
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
Entit�Concreta
è
MisuraDiLunghezza
(=>
(
depth
?OBJ1 ?OBJ2 ?DEPTH)
(
orientation
?OBJ1 ?OBJ2
Below
))
Merge.kif 7772-7774
depth
Oggetto
,
Oggetto
and
MisuraDiLunghezza
Oggetto
è
Below
a
Oggetto
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
AreaGeografica
,
IntervalloTemporale
and
FunzioneDiQuantit�
Trasferimento
InsiemeConcreto
,
Entit�Concreta
,
OggettoIntegro
,
Entit�
,
OggettoIntegro
and
Trasferimento
FALL
Trasferimento
è un'
istanza
di
Raining
eventLocated
Trasferimento
and
AreaGeografica
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
objectTransferred
Trasferimento
and
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Acqua
Entit�Concreta
è un
membro
di
InsiemeConcreto
OggettoIntegro
è un'
istanza
di
Container
il
fondo
di
OggettoIntegro
è
OggettoIntegro
attribute
OggettoIntegro
and
Flat
OggettoIntegro
è
localizzato
in
AreaGeografica
attribute
OggettoIntegro
and
ContainerEmpty
vales
durante
l'
inizio
di
IntervalloTemporale
InsiemeConcreto
è
localizzato
in
OggettoIntegro
il
vertice
InsiemeConcreto
è
Entit�
depth
Entit�
,
OggettoIntegro
and
Trasferimento
FALL
Trasferimento
FALL is
uguale
a
IntervalloTemporale
+
FunzioneDiQuantit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
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
AreaGeografica
,
IntervalloTemporale
and
FunzioneDiQuantit�
Trasferimento
Oggetto
,
OggettoIntegro
,
Entit�
,
OggettoIntegro
and
Entit�
Trasferimento
è un'
istanza
di
Snowing
eventLocated
Trasferimento
and
AreaGeografica
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Snow
objectTransferred
Trasferimento
and
Oggetto
OggettoIntegro
è un'
istanza
di
BoardOrBlock
il
fondo
di
OggettoIntegro
è
OggettoIntegro
attribute
OggettoIntegro
and
Flat
OggettoIntegro
è
localizzato
in
AreaGeografica
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è
localizzato
in
OggettoIntegro
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
OggettoIntegro
il
vertice
Oggetto
è
Entit�
depth
Entit�
,
OggettoIntegro
and
Entit�
Entit�
is
uguale
a
IntervalloTemporale
+
FunzioneDiQuantit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17599-17605
waterDepth
OggettoIntegro
and
MisuraDiLunghezza
OggettoIntegro
OggettoIntegro
depth
OggettoIntegro
,
OggettoIntegro
and
MisuraDiLunghezza
il
vertice
OggettoIntegro
è
OggettoIntegro
il
fondo
di
OggettoIntegro
è
OggettoIntegro
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