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
O argumento numero 2 de
frequency
e' uma
instancia
de
Duracao Temporal
(
domainSubclass
frequency
1
Process
)
Merge.kif 7911-7911
O argumento numero 1 de
frequency
e' uma
sub
-classe de
Processo
(
instance
frequency
BinaryPredicate
)
Merge.kif 7910-7910
frequency
e' uma
instancia
de
Predicado Binario
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
e' uma
sub
-relacao de
frequency
(
subrelation
requestRate
frequency
)
QoSontology.kif 1772-1772
requestRate
e' uma
sub
-relacao de
frequency
(
subrelation
responseRate
frequency
)
QoSontology.kif 1765-1765
responseRate
e' uma
sub
-relacao de
frequency
(
subrelation
sendRate
frequency
)
QoSontology.kif 2152-2152
sendRate
e' uma
sub
-relacao de
frequency
(
subrelation
softwareHeartBeatRate
frequency
)
QoSontology.kif 919-919
softwareHeartBeatRate
e' uma
sub
-relacao de
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
Processo
ocorre
todos os
Duracao Temporal
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
Posicao Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Entidade
Entidade
e' uma
instancia
de
Processo
vale
durante
Posicao Temporal
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
memberMeasure
Conjunto
,
MeasurementAttribute
and
Duracao Temporal
Conjunto
e' uma
instancia
de
Conjunto
AutonomousAgent
e' um
elemento
de
Conjunto
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
ocorre
todos os
Duracao Temporal
(=>
(
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
memberMeasure
Classe
,
Frequency
and
Duracao Temporal
Classe
e' uma
instancia
de
Classe
AutonomousAgent
e' uma
instancia
de
Classe
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
ocorre
todos os
Duracao Temporal
(=>
(
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
sheddingLeaves
Planta
and
PlantLeaf
Planta
e' uma
instancia
de
DeciduousTree
PlantLeaf
e' uma
instancia
de
PlantLeaf
Processo
Processo
Processo
e' uma
sub
-classe de
Remover
Processo
ocorre
todos os
YearDuration
Processo
e' uma
instancia
de
Processo
Processo
tem como
origem
Planta
PlantLeaf
e' um
patient
de
Processo
(=>
(
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
periodicPayment
FinancialAccount
,
Medida de Divisa
and
Duracao Temporal
Transacao Financeira
Processo
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
tem como
origem
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
e' uma
instancia
de
Processo
Processo
ocorre
todos os
Duracao Temporal
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