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
frequency
Sigma KEE - frequency
frequency
appearance as argument number 1
(
documentation
frequency
ChineseLanguage
"(
frequency
?PROC ?TIME)的意思是
Process
类别 ?PROC 在每隔 ?TIME 重复发生一次。")
chinese_format.kif 2691-2692
(
documentation
frequency
EnglishLanguage
"(
frequency
?PROC ?TIME) means that the
Process
type of ?PROC recurs after every interval of ?TIME.")
Merge.kif 7914-7915
(
documentation
frequency
JapaneseLanguage
"(
frequency
?PROC ?TIME) とは、
Process
の ?PROC型が ?TIMEの間隔ごとに繰り返し発生することを意味する。")
japanese_format.kif 1414-1415
(
domain
frequency
2
TimeDuration
)
Merge.kif 7912-7912
The number 2 argument of
frequency
is an
instance
of
time duration
(
domainSubclass
frequency
1
Process
)
Merge.kif 7911-7911
The number 1 argument of
frequency
is a
subclass
of
process
(
instance
frequency
BinaryPredicate
)
Merge.kif 7910-7910
frequency
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
frequency
"%1 每 %2 %n{doesn't} 发生一次")
chinese_format.kif 415-415
(
format
EnglishLanguage
frequency
"%1 %n{doesn't} occur%p{s} every %2")
english_format.kif 421-421
(
format
FrenchLanguage
frequency
"%1 %n{ne} se produit %n{pas} tous les %2")
french_format.kif 242-242
(
format
ItalianLanguage
frequency
"%1 ricorre ogni %2")
relations-it.txt 113-113
(
format
JapaneseLanguage
frequency
"%1 は %2 ごとに occur%p{s} %n{ない}")
japanese_format.kif 2036-2036
(
format
PortugueseLanguage
frequency
"%1 %n{nao} ocorre %n todos os %2")
portuguese_format.kif 194-194
(
format
de
frequency
"%1 gescheit alle %2")
relations-de.txt 539-539
(
format
hi
frequency
"%1 pratyeka %2 men hotaa hai")
relations-hindi.txt 153-153
(
format
ro
frequency
"%1 %n{nu} occur%t{apare} în fiecare %2")
relations-ro.kif 263-263
(
format
sv
frequency
"%1 inträffar %n{inte} varje %2")
relations-sv.txt 262-262
(
format
tg
frequency
"%1 nangyayari tuwi %2")
relations-tg.txt 236-236
(
subrelation
collectRate
frequency
)
QoSontology.kif 2145-2145
collect rate
is a
subrelation
of
frequency
(
subrelation
requestRate
frequency
)
QoSontology.kif 1772-1772
request rate
is a
subrelation
of
frequency
(
subrelation
responseRate
frequency
)
QoSontology.kif 1765-1765
response rate
is a
subrelation
of
frequency
(
subrelation
sendRate
frequency
)
QoSontology.kif 2152-2152
send rate
is a
subrelation
of
frequency
(
subrelation
softwareHeartBeatRate
frequency
)
QoSontology.kif 919-919
heart beat rate
is a
subrelation
of
frequency
(
termFormat
ChineseLanguage
frequency
"频率")
chinese_format.kif 416-416
(
termFormat
ChineseTraditionalLanguage
frequency
"頻率")
domainEnglishFormat.kif 25009-25009
(
termFormat
EnglishLanguage
frequency
"frequency")
domainEnglishFormat.kif 25008-25008
(
termFormat
tg
frequency
"dalas")
relations-tg.txt 237-237
antecedent
(=>
(
frequency
?PROC ?TIME1)
(
forall
(?TIME2)
(=>
(
duration
?TIME2 ?TIME1)
(
exists
(?POSITION)
(
and
(
temporalPart
?POSITION ?TIME2)
(
holdsDuring
?POSITION
(
exists
(?INST)
(
instance
?INST ?PROC))))))))
Merge.kif 7917-7927
If
a kind of process
occur
s every
a time duration
,
then for all
a time interval
if
duration
of
the time interval
is
the time duration
,
then there exists
a time position
such that
the time position
is a
part
of
the time interval
and there exists
an entity
such that
the entity
is an
instance
of
a kind of process
holds
during
the time position
consequent
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S)
(
instance
?P
Process
)
(
agent
?P ?O))
(
frequency
Process
?Q))
Mid-level-ontology.kif 31316-31323
If members of
a set
have the measure
a time duration
in terms of
a measurement attribute
and
the set
is an
instance
of
set
and
an agent
is an
element
of
the set
and
a process
is an
instance
of
process
and
the agent
is an
agent
of
the process
,
then
process
occur
s every
the time duration
(=>
(
and
(
memberMeasure
?S
Frequency
?Q)
(
instance
?S
Class
)
(
instance
?O ?S)
(
instance
?P
Process
)
(
agent
?P ?O))
(
frequency
Process
?Q))
Mid-level-ontology.kif 31325-31332
If members of
a class
have the measure
a time duration
in terms of
Frequency
and
the class
is an
instance
of
class
and
an agent
is an
instance
of
the class
and
a process
is an
instance
of
process
and
the agent
is an
agent
of
the process
,
then
process
occur
s every
the time duration
(=>
(
and
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
If
a plant
is a
Removing
a plant leaf
from its stems and
the plant
is an
instance
of
deciduous tree
and
the plant leaf
is an
instance
of
plant leaf
,
then there exist
a kind of process
and
another process
such that
a kind of process
is a
subclass
of
removing
and
the kind of process
occur
s every
year duration
and
the other process
is an
instance
of
the kind of process
and
the other process
originate
s at
the plant
and
the plant leaf
is a
patient
of
the other process
(=>
(
periodicPayment
?Account ?Amount ?Period)
(
exists
(?Payment ?Class)
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Amount)
(
instance
?Payment ?Class)
(
frequency
?Class ?Period))))
FinancialOntology.kif 742-750
If
a financial account
is
periodic
payment
a currency measure
for
a time duration
,
then there exist
a financial transaction
and
a kind of process
such that
the financial transaction
is an
instance
of
payment
and
the financial transaction
originate
s at the
currency
of
the financial account
and
the currency measure
is a
transaction
amount of
the financial transaction
and
the financial transaction
is an
instance
of
a kind of process
and
the kind of process
occur
s every
the time duration
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