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
SpeedFn
Sigma KEE - SpeedFn
SpeedFn
appearance as argument number 1
(
documentation
SpeedFn
ChineseLanguage
"这个函数把
LengthMeasure
的一个实例和
TimeDuration
的一个实例和由这个时间和距离比例所代表的速率联系起来。例如: (
SpeedFn
(
MeasureFn
55
Mile
)(
MeasureFn
1
HourDuration
))表示速度55英里每小时。")
chinese_format.kif 2483-2485
(
documentation
SpeedFn
EnglishLanguage
"Maps an instance of
LengthMeasure
and an instance of
TimeDuration
to the speed represented by this proportion of distance and time. For example, (
SpeedFn
(
MeasureFn
55
Mile
)(
MeasureFn
1
HourDuration
)) represents the velocity of 55 miles per hour.")
Merge.kif 6661-6664
(
documentation
SpeedFn
JapaneseLanguage
"
LengthMeasure
のインスタンスと
TimeDuration
の インスタンスを、この距離と時間の比率で表される速度にマップする。 例:(
SpeedFn
(
MeasureFn
55
Mile
)(
MeasureFn
1
HourDuration
)) は、時速55マイルの速度を表す。")
japanese_format.kif 1178-1180
(
domain
SpeedFn
1
LengthMeasure
)
Merge.kif 6657-6657
Le nombre 1 argument de
SpeedFn
est une
instance
de
mesure de longueur
(
domain
SpeedFn
2
TimeDuration
)
Merge.kif 6658-6658
Le nombre 2 argument de
SpeedFn
est une
instance
de
dur�e temporel
(
instance
SpeedFn
BinaryFunction
)
Merge.kif 6656-6656
SpeedFn
est une
instance
de
fonction binaire
(
instance
SpeedFn
TotalValuedRelation
)
Merge.kif 6655-6655
SpeedFn
est une
instance
de
relation total
(
range
SpeedFn
FunctionQuantity
)
Merge.kif 6659-6659
Le
domaine
de
SpeedFn
est une instance de
function de quantit�
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6654-6654
SpeedFn
est une
sous
-relation de
PerFn
appearance as argument number 2
(
format
ChineseLanguage
SpeedFn
"%1 除以 %2")
chinese_format.kif 659-659
(
format
EnglishLanguage
SpeedFn
"%1 per %2")
english_format.kif 662-662
(
format
FrenchLanguage
SpeedFn
"%1 par %2")
french_format.kif 396-396
(
format
ItalianLanguage
SpeedFn
"%1 per %2")
relations-it.txt 267-267
(
format
JapaneseLanguage
SpeedFn
"%2 per %1")
japanese_format.kif 2126-2126
(
format
PortugueseLanguage
SpeedFn
"%1 por %2")
portuguese_format.kif 348-348
(
format
de
SpeedFn
"%1 pro &2")
relations-de.txt 862-862
(
format
hi
SpeedFn
"%1 prati %2")
relations-hindi.txt 304-304
(
format
ro
SpeedFn
"%1 per%t{pe} %2")
relations-ro.kif 418-418
(
format
sv
SpeedFn
"%1 per %2")
relations-sv.txt 439-439
(
format
tg
SpeedFn
"%1 bawa't %2")
relations-tg.txt 459-459
(
termFormat
ChineseLanguage
SpeedFn
"速度")
domainEnglishFormat.kif 54606-54606
(
termFormat
ChineseLanguage
SpeedFn
"速率函数")
chinese_format.kif 660-660
(
termFormat
ChineseTraditionalLanguage
SpeedFn
"速度")
domainEnglishFormat.kif 54605-54605
(
termFormat
EnglishLanguage
SpeedFn
"speed")
domainEnglishFormat.kif 54604-54604
antecedent
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
governorSpeed
SpeedGovernor
and
function de quantit�
nombre r�el
MilesPerHour
(s) est
mesure de longueur
par
dur�e temporel
nombre r�el
MilesPerHour
(s) est
mesure de longueur
par
dur�e temporel
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
PROB est
probabilit
� de la
mesure
de
SpeedGovernor
est
nombre r�el
MilesPerHour
(s)
nombre r�el
PROB est
probabilit
� de la
mesure
de
SpeedGovernor
est
nombre r�el
MilesPerHour
(s)
nombre r�el
PROB est
plus
grand
que
nombre r�el
PROB
(=>
(
and
(
instance
?WALK
Walking
)
(
instance
?RUN
Running
)
(
agent
?WALK ?AGENT)
(
agent
?RUN ?AGENT)
(
holdsDuring
(
WhenFn
?WALK)
(
measure
?AGENT
(
SpeedFn
?LENGTH1 ?TIME)))
(
holdsDuring
(
WhenFn
?RUN)
(
measure
?AGENT
(
SpeedFn
?LENGTH2 ?TIME))))
(
greaterThan
?LENGTH2 ?LENGTH1))
Merge.kif 11158-11166
Processus
est une
instance
de
marcher
processus
est une
instance
de
Running
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
la
mesure
de
AutonomousAgent
est
nombre r�el
par
entit�
pendant
temps
d'existence de
processus
la
mesure
de
AutonomousAgent
est
nombre r�el
par
entit�
pendant
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
Objet
est une
instance
de
WindFlow
objet
est une
instance
de
objet
objet
est
partiellement
localis� �
objet
elevation
objet
and
nombre r�el
FootLength
(s)
nombre r�el
est plus
petit
ou �gal � 500.0 la
mesure
de
objet
est
mesure de longueur
par
dur�e temporel
surfaceWindSpeed
objet
and
mesure de longueur
par
dur�e temporel
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
La
mesure
de
FlowFn
substance
est
mesure de longueur
par
dur�e temporel
substance
est une
pi
�ce de
substance
substance
est une
pi
�ce de
mesure de longueur
par
dur�e temporel
(=>
(
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
surfaceWindVelocity
r�gion
,
mesure de longueur
par
dur�e temporel
and
attribut directionnel
r�gion
est une
instance
de
WindFlow
processus
processus
est une
instance
de
Wind
eventPartlyLocated
processus
and
r�gion
la
mesure
de
processus
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
attribut directionnel
(=>
(
and
(
topSpeed
?V
(
MeasureFn
?Q ?CU))
(
instance
?CU
CompositeUnitOfMeasure
)
(
instance
?UL
UnitOfLength
)
(
instance
?UD
UnitOfDuration
)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L1 ?UL)
(
MeasureFn
?T1 ?UD)))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L2 ?UL)
(
MeasureFn
?T2 ?UD)))))
(
greaterThan
(
SpeedFn
?L1 ?T1) ?Q)
(
greaterThan
?Q
(
SpeedFn
?L2 ?T2)))
(
greaterThan
?SLOWPROB ?FASTPROB))
Transportation.kif 1718-1736
topSpeed
Vehicle
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
CompositeUnitOfMeasure
entit�
est une
instance
de
UnitOfLength
entit�
est une
instance
de
UnitOfDuration
nombre r�el
est
probabilit
� de la
mesure
de
Vehicle
est
mesure de longueur
entit�
(s)
par
dur�e temporel
entit�
(s)
nombre r�el
est
probabilit
� de la
mesure
de
Vehicle
est
mesure de longueur
entit�
(s)
par
dur�e temporel
entit�
(s)
mesure de longueur
par
dur�e temporel
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
mesure de longueur
par
dur�e temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?DISTANCE
NauticalMile
)
(
MeasureFn
?TIME
HourDuration
)))
(
equal
?SPEED
(
MeasureFn
(
DivisionFn
?DISTANCE ?TIME)
KnotUnitOfSpeed
)))
Geography.kif 3929-3937
Function de quantit�
est
nombre r�el
NauticalMile
(s)
par
nombre r�el
HourDuration
(s)
function de quantit�
est
nombre r�el
+
nombre r�el
KnotUnitOfSpeed
(s)
consequent
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1702-1708
Function de quantit�
est
nombre r�el
MilesPerHour
(s)
function de quantit�
est
nombre r�el
Mile
(s)
par
1
HourDuration
(s)
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
Processus
est une
instance
de
Accelerating
processus
est un
agent
de
AutonomousAgent
nombre r�el
nombre r�el
,
nombre r�el
,
nombre r�el
,
entit�
and
entit�
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?D
Decelerating
)
(
agent
?D ?A))
(
exists
(?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L1 ?U1)
(
MeasureFn
?T1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L2 ?U1)
(
MeasureFn
?T2 ?U2))))
(
or
(
greaterThan
?L1 ?L2)
(
greaterThan
?T1 ?T2)))))
Mid-level-ontology.kif 17171-17191
Processus
est une
instance
de
Decelerating
processus
est un
agent
de
AutonomousAgent
nombre r�el
nombre r�el
,
nombre r�el
,
nombre r�el
,
entit�
and
entit�
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?PLACE
Object
)
(
instance
?BLOW
Wind
)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
R�gion
est une
instance
de
objet
physique
est une
instance
de
Wind
la
mesure
de
physique
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
attribut directionnel
surfaceWindVelocity
r�gion
,
mesure de longueur
par
dur�e temporel
and
attribut directionnel
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 148-157
Objet
est une
instance
de
WindFlow
objet
est une
instance
de
objet
objet
est
partiellement
localis� �
objet
elevation
objet
and
nombre r�el
FootLength
(s)
nombre r�el
est plus
petit
ou �gal � 500.0 la
mesure
de
objet
est
mesure de longueur
par
dur�e temporel
surfaceWindSpeed
objet
and
mesure de longueur
par
dur�e temporel
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
La
mesure
de
FlowFn
substance
est
mesure de longueur
par
dur�e temporel
substance
est une
pi
�ce de
substance
substance
est une
pi
�ce de
mesure de longueur
par
dur�e temporel
(=>
(
equal
?SPEED
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
1.0
HourDuration
))))
Geography.kif 3939-3945
Function de quantit�
est
nombre r�el
KnotUnitOfSpeed
(s)
function de quantit�
est
nombre r�el
NauticalMile
(s)
par
1.0
HourDuration
(s)
(=>
(
measure
?OBJECT
(
VelocityFn
?DISTANCE ?TIME ?REF ?DIRECTION))
(
measure
?OBJECT
(
SpeedFn
?DISTANCE ?TIME)))
Merge.kif 6679-6681
La
mesure
de
physique
est
mesure de longueur
par
dur�e temporel
en
r�gion
dans la direction
attribut directionnel
la
mesure
de
physique
est
mesure de longueur
par
dur�e temporel
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