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 7936-7937
(
documentation
frequency
JapaneseLanguage
"(
frequency
?PROC ?TIME) とは、
Process
の ?PROC型が ?TIMEの間隔ごとに繰り返し発生することを意味する。")
japanese_format.kif 1414-1415
(
domain
frequency
2
TimeDuration
)
Merge.kif 7934-7934
Die Zahl 2 Argument von
frequency
ist ein
fall
von
TimeDuration
%n{nicht}
(
domainSubclass
frequency
1
Process
)
Merge.kif 7933-7933
Die Zahl 1 Argument von
frequency
ist eine
teilkategorie
von
Process
%n{nicht}
(
instance
frequency
BinaryPredicate
)
Merge.kif 7932-7932
frequency
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
collectRate
ist eine
teilrelation
von
frequency
(
subrelation
requestRate
frequency
)
QoSontology.kif 1772-1772
requestRate
ist eine
teilrelation
von
frequency
(
subrelation
responseRate
frequency
)
QoSontology.kif 1765-1765
responseRate
ist eine
teilrelation
von
frequency
(
subrelation
sendRate
frequency
)
QoSontology.kif 2152-2152
sendRate
ist eine
teilrelation
von
frequency
(
subrelation
softwareHeartBeatRate
frequency
)
QoSontology.kif 919-919
softwareHeartBeatRate
ist eine
teilrelation
von
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 7939-7949
Wenn
** Process
gescheit
alle
TimeDuration
,
dann fuer alle
TimeInterval
wenn
dauer
von
** TimeInterval
ist
** TimeDuration
%n{nicht},
dann es gibt
TimePosition
um
** TimePosition
ist ein
teil
von
** TimeInterval
%n{nicht} und es gibt
entity
um
** entity
ist ein
fall
von
** Process
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
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 31312-31319
Wenn
memberMeasure
Set
,
MeasurementAttribute
and
TimeDuration
und
** Set
ist ein
fall
von
Set
%n{nicht} und
AutonomousAgent
ist ein
element
von
** Set
%n{nicht} und
Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
Process
gescheit
alle
** TimeDuration
(=>
(
and
(
memberMeasure
?S
Frequency
?Q)
(
instance
?S
Class
)
(
instance
?O ?S)
(
instance
?P
Process
)
(
agent
?P ?O))
(
frequency
Process
?Q))
Mid-level-ontology.kif 31321-31328
Wenn
memberMeasure
Class
,
Frequency
and
TimeDuration
und
** Class
ist ein
fall
von
Class
%n{nicht} und
AutonomousAgent
ist ein
fall
von
** Class
%n{nicht} und
Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
Process
gescheit
alle
** TimeDuration
(=>
(
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
Wenn
sheddingLeaves
Plant
and
PlantLeaf
und
** Plant
ist ein
fall
von
DeciduousTree
%n{nicht} und
** PlantLeaf
ist ein
fall
von
PlantLeaf
%n{nicht},
dann es gibt
** Process
und
** Process
um
** Process
ist eine
teilkategorie
von
Removing
und
** ** Process
gescheit
alle
YearDuration
und
** ** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
beginnet an
** Plant
%n{nicht} und
** PlantLeaf
ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
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
Wenn
periodicPayment
FinancialAccount
,
CurrencyMeasure
and
TimeDuration
,
dann es gibt
FinancialTransaction
und
** Process
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
** FinancialTransaction
ist ein
fall
von
** Process
%n{nicht} und
** ** Process
gescheit
alle
** TimeDuration
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