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
Il numero 1 argomenti di
SpeedFn
è un
istanza
di
MisuraDiLunghezza
(
domain
SpeedFn
2
TimeDuration
)
Merge.kif 6658-6658
Il numero 2 argomenti di
SpeedFn
è un
istanza
di
Durata
(
instance
SpeedFn
BinaryFunction
)
Merge.kif 6656-6656
SpeedFn
è un'
istanza
di
FunzioneBinaria
(
instance
SpeedFn
TotalValuedRelation
)
Merge.kif 6655-6655
SpeedFn
è un'
istanza
di
RelazioneAValoreTotale
(
range
SpeedFn
FunctionQuantity
)
Merge.kif 6659-6659
rango
di
SpeedFn
è un'istanza di
FunzioneDiQuantit�
(
subrelation
SpeedFn
PerFn
)
Merge.kif 6654-6654
SpeedFn
è una
sottorelazione
di
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
FunzioneDiQuantit�
NumeroReale
MilesPerHour
(s is
uguale
a
MisuraDiLunghezza
per
Durata
NumeroReale
MilesPerHour
(s is
uguale
a
MisuraDiLunghezza
per
Durata
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
PROB is
uguale
a la
probabilit
à dila
misura
SpeedGovernor
è
NumeroReale
MilesPerHour
(s
NumeroReale
PROB is
uguale
a la
probabilit
à dila
misura
SpeedGovernor
è
NumeroReale
MilesPerHour
(s
NumeroReale
PROB è
pi
ù grande di
NumeroReale
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
Processo
è un'
istanza
di
Camminare
Processo
è un'
istanza
di
Running
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
la
misura
AutonomousAgent
è
NumeroReale
per
Entit�
vales
durante
il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
per
Entit�
vales
durante
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Oggetto
è un'
istanza
di
WindFlow
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
in
parte localizzato in
Oggetto
elevation
Oggetto
and
NumeroReale
FootLength
(s
NumeroReale
è
minore
o uguale a 500.0 la
misura
Oggetto
è
MisuraDiLunghezza
per
Durata
surfaceWindSpeed
Oggetto
and
MisuraDiLunghezza
per
Durata
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
La
misura
FlowFn
Sostanza
è
MisuraDiLunghezza
per
Durata
Sostanza
è un
membro
di
Sostanza
Sostanza
è un
membro
di
MisuraDiLunghezza
per
Durata
(=>
(
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
Regione
,
MisuraDiLunghezza
per
Durata
and
AttributoDirezionale
Regione
è un'
istanza
di
WindFlow
Processo
Processo
è un'
istanza
di
Wind
eventPartlyLocated
Processo
and
Regione
la
misura
Processo
è
MisuraDiLunghezza
per
Durata
in
Regione
in direzione
AttributoDirezionale
(=>
(
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
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
Entit�
è un'
istanza
di
UnitOfLength
Entit�
è un'
istanza
di
UnitOfDuration
NumeroReale
is
uguale
a la
probabilit
à dila
misura
Vehicle
è
MisuraDiLunghezza
Entit�
(s
per
Durata
Entit�
(s
NumeroReale
is
uguale
a la
probabilit
à dila
misura
Vehicle
è
MisuraDiLunghezza
Entit�
(s
per
Durata
Entit�
(s
MisuraDiLunghezza
per
Durata
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
MisuraDiLunghezza
per
Durata
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?DISTANCE
NauticalMile
)
(
MeasureFn
?TIME
HourDuration
)))
(
equal
?SPEED
(
MeasureFn
(
DivisionFn
?DISTANCE ?TIME)
KnotUnitOfSpeed
)))
Geography.kif 3929-3937
FunzioneDiQuantit�
is
uguale
a
NumeroReale
NauticalMile
(s
per
NumeroReale
HourDuration
(s
FunzioneDiQuantit�
is
uguale
a
NumeroReale
+
NumeroReale
KnotUnitOfSpeed
(s
consequent
(<=>
(
equal
?SPEED
(
MeasureFn
?NUM
MilesPerHour
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
Mile
)
(
MeasureFn
1
HourDuration
))))
Weather.kif 1702-1708
FunzioneDiQuantit�
is
uguale
a
NumeroReale
MilesPerHour
(s
FunzioneDiQuantit�
is
uguale
a
NumeroReale
Mile
(s
per
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
Processo
è un'
istanza
di
Accelerating
Processo
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
,
NumeroReale
,
NumeroReale
,
Entit�
and
Entit�
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
Decelerating
Processo
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
,
NumeroReale
,
NumeroReale
,
Entit�
and
Entit�
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?PLACE
Object
)
(
instance
?BLOW
Wind
)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION))
Weather.kif 125-130
Regione
è un'
istanza
di
Oggetto
Entit�Concreta
è un'
istanza
di
Wind
la
misura
Entit�Concreta
è
MisuraDiLunghezza
per
Durata
in
Regione
in direzione
AttributoDirezionale
surfaceWindVelocity
Regione
,
MisuraDiLunghezza
per
Durata
and
AttributoDirezionale
(=>
(
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
Oggetto
è un'
istanza
di
WindFlow
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
in
parte localizzato in
Oggetto
elevation
Oggetto
and
NumeroReale
FootLength
(s
NumeroReale
è
minore
o uguale a 500.0 la
misura
Oggetto
è
MisuraDiLunghezza
per
Durata
surfaceWindSpeed
Oggetto
and
MisuraDiLunghezza
per
Durata
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
La
misura
FlowFn
Sostanza
è
MisuraDiLunghezza
per
Durata
Sostanza
è un
membro
di
Sostanza
Sostanza
è un
membro
di
MisuraDiLunghezza
per
Durata
(=>
(
equal
?SPEED
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
equal
?SPEED
(
SpeedFn
(
MeasureFn
?NUM
NauticalMile
)
(
MeasureFn
1.0
HourDuration
))))
Geography.kif 3939-3945
FunzioneDiQuantit�
is
uguale
a
NumeroReale
KnotUnitOfSpeed
(s
FunzioneDiQuantit�
is
uguale
a
NumeroReale
NauticalMile
(s
per
1.0
HourDuration
(s
(=>
(
measure
?OBJECT
(
VelocityFn
?DISTANCE ?TIME ?REF ?DIRECTION))
(
measure
?OBJECT
(
SpeedFn
?DISTANCE ?TIME)))
Merge.kif 6679-6681
La
misura
Entit�Concreta
è
MisuraDiLunghezza
per
Durata
in
Regione
in direzione
AttributoDirezionale
la
misura
Entit�Concreta
è
MisuraDiLunghezza
per
Durata
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