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
VelocityFn
Sigma KEE - VelocityFn
VelocityFn
appearance as argument number 1
(
documentation
VelocityFn
ChineseLanguage
"这个函数指出一个物体的速度,也就是说速率和速率的方向。 例如: (
VelocityFn
(
MeasureFn
55
Mile
) (
MeasureFn
2
HourDuration
) ?REFERENCE
North
)表示从一个预定的坐标 ?REFERENCE 以每小时55英里的速度向北移动。")
chinese_format.kif 2486-2489
(
documentation
VelocityFn
EnglishLanguage
"Specifies the velocity of an object, i.e. the speed and the direction of the speed. For example (
VelocityFn
(
MeasureFn
55
Mile
) (
MeasureFn
2
HourDuration
) ?REFERENCE
North
) denotes the velocity of 55 miles per hour North of the given reference point ?REFERENCE.")
Merge.kif 6674-6677
(
documentation
VelocityFn
JapaneseLanguage
"オブジェクトの速度、つまり速度と速度の方向を指定す る。 例:(
VelocityFn
(
MeasureFn
55
Mile
)(
MeasureFn
2
HourDuration
) ?REFERENCE
North
) は、所定の基準点 ?REFERENCEの北で時速55マイルの速度を示す。")
japanese_format.kif 1181-1183
(
domain
VelocityFn
1
LengthMeasure
)
Merge.kif 6668-6668
Die Zahl 1 Argument von
VelocityFn
ist ein
fall
von
LengthMeasure
%n{nicht}
(
domain
VelocityFn
2
TimeDuration
)
Merge.kif 6669-6669
Die Zahl 2 Argument von
VelocityFn
ist ein
fall
von
TimeDuration
%n{nicht}
(
domain
VelocityFn
3
Region
)
Merge.kif 6670-6670
Die Zahl 3 Argument von
VelocityFn
ist ein
fall
von
Region
%n{nicht}
(
domain
VelocityFn
4
DirectionalAttribute
)
Merge.kif 6671-6671
Die Zahl 4 Argument von
VelocityFn
ist ein
fall
von
DirectionalAttribute
%n{nicht}
(
instance
VelocityFn
QuaternaryFunction
)
Merge.kif 6666-6666
VelocityFn
ist ein
fall
von
QuaternaryFunction
%n{nicht}
(
instance
VelocityFn
TotalValuedRelation
)
Merge.kif 6667-6667
VelocityFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
range
VelocityFn
FunctionQuantity
)
Merge.kif 6672-6672
bildbereich
von
VelocityFn
ist ein fall von
FunctionQuantity
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
VelocityFn
"%1 除以 %2 在 %3 处往 %4 方向")
chinese_format.kif 661-661
(
format
EnglishLanguage
VelocityFn
"%1 per %2 in %3 in the direction %4")
english_format.kif 664-664
(
format
FrenchLanguage
VelocityFn
"%1 par %2 en %3 dans la direction %4")
french_format.kif 397-397
(
format
ItalianLanguage
VelocityFn
"%1 per %2 in %3 in direzione %4")
relations-it.txt 310-310
(
format
JapaneseLanguage
VelocityFn
"方向 %4 の %3 分の %2 per 1")
japanese_format.kif 2127-2127
(
format
PortugueseLanguage
VelocityFn
"%1 por %2 %3 na direcao %4")
portuguese_format.kif 349-349
(
format
de
VelocityFn
"%1 pro &2 in %3 in der Richtung %4")
relations-de.txt 864-864
(
format
hi
VelocityFn
"%4 kii dishaa men %3 men %1 prati %2")
relations-hindi.txt 345-345
(
format
ro
VelocityFn
"%1 per%t{pe} %2 în %3 în direcþia %4")
relations-ro.kif 419-419
(
format
sv
VelocityFn
"%1 per %2 i %3 i riktning %4")
relations-sv.txt 440-440
(
format
tg
VelocityFn
"%1 bawa't %2 ng %3 sa ang banda %4")
relations-tg.txt 502-502
(
termFormat
ChineseLanguage
VelocityFn
"速度")
domainEnglishFormat.kif 61454-61454
(
termFormat
ChineseLanguage
VelocityFn
"速度函数")
chinese_format.kif 662-662
(
termFormat
ChineseTraditionalLanguage
VelocityFn
"速度")
domainEnglishFormat.kif 61453-61453
(
termFormat
EnglishLanguage
VelocityFn
"velocity")
domainEnglishFormat.kif 61452-61452
antecedent
(=>
(
and
(
instance
?PLACE
Object
)
(
instance
?BLOW
Wind
)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
Wenn
Region
ist ein
fall
von
Object
%n{nicht} und
Physical
ist ein
fall
von
Wind
%n{nicht} und das
mass
von
** Physical
ist
LengthMeasure
pro
&2 in in der Richtung %n{nicht},
dann
surfaceWindVelocity
** Region
,
** LengthMeasure
pro
&2 and
DirectionalAttribute
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
measure
?ZEPHYR
(
VelocityFn
?DIST ?TIME ?PLACE ?DIR-TOWARD))
(
oppositeDirection
?DIR-TOWARD ?DIR-FROM))
(
surfaceWindDirection
?PLACE ?DIR-FROM))
Weather.kif 194-199
Wenn
Physical
ist ein
fall
von
WindFlow
%n{nicht} und das
mass
von
** Physical
ist
LengthMeasure
pro
&2 in in der Richtung %n{nicht} und
oppositeDirection
entity
-TOWARD and
** entity
-FROM,
dann
surfaceWindDirection
Region
and
** entity
-FROM
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
Wenn das
mass
von
FlowFn
Substance
ist
LengthMeasure
pro
&2 in in der Richtung %n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht},
dann das
mass
von
** ** Substance
ist
** LengthMeasure
pro
&2 in in der Richtung %n{nicht}
(=>
(
measure
?OBJECT
(
VelocityFn
?DISTANCE ?TIME ?REF ?DIRECTION))
(
measure
?OBJECT
(
SpeedFn
?DISTANCE ?TIME)))
Merge.kif 6679-6681
Wenn das
mass
von
Physical
ist
LengthMeasure
pro
&2 in in der Richtung %n{nicht},
dann das
mass
von
** Physical
ist
** LengthMeasure
pro
&2 %n{nicht}
consequent
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
Wenn das
mass
von
FlowFn
Substance
ist
LengthMeasure
pro
&2 in in der Richtung %n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht},
dann das
mass
von
** ** Substance
ist
** LengthMeasure
pro
&2 in in der Richtung %n{nicht}
(=>
(
and
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION)
(
instance
?PLACE
WindFlow
))
(
exists
(?BLOW)
(
and
(
instance
?BLOW
Wind
)
(
eventPartlyLocated
?BLOW ?PLACE)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))))
Weather.kif 115-123
Wenn
surfaceWindVelocity
Region
,
LengthMeasure
pro
&2 and
DirectionalAttribute
und
** Region
ist ein
fall
von
WindFlow
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Wind
%n{nicht} und
eventPartlyLocated
** Process
and
** Region
und das
mass
von
** Process
ist
** LengthMeasure
pro
&2 in in der Richtung %n{nicht}
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