Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
LaundryService
Sigma KEE - softwareHeartBeatRate
softwareHeartBeatRate
appearance as argument number 1
(
instance
softwareHeartBeatRate
BinaryPredicate
)
QoSontology.kif 1016-1016
heart beat rate
is an
instance
of
binary predicate
(
domain
softwareHeartBeatRate
1
ComputerProgram
)
QoSontology.kif 1017-1017
The number 1 argument of
heart beat rate
is an
instance
of
computer program
(
domain
softwareHeartBeatRate
2
TimeDuration
)
QoSontology.kif 1018-1018
The number 2 argument of
heart beat rate
is an
instance
of
time duration
(
documentation
softwareHeartBeatRate
EnglishLanguage
"(
softwareHeartBeatRate
?Program ?Period) holds if ?Period is the period at which the ComputerProgram ?Program sends its heartbeat to a monitoring process.")
QoSontology.kif 1019-1021
The number 2 argument of
heart beat rate
is an
instance
of
time duration
appearance as argument number 2
(
format
EnglishLanguage
softwareHeartBeatRate
"%1 reports
status
every %2")
domainEnglishFormat.kif 3622-3622
(
format
ChineseTraditionalLanguage
softwareHeartBeatRate
" %1 reports
status
每個 %2 ")
domainEnglishFormat.kif 3623-3623
(
format
ChineseLanguage
softwareHeartBeatRate
"%1 reports
status
每个 %2 ")
domainEnglishFormat.kif 3624-3624
(
termFormat
EnglishLanguage
softwareHeartBeatRate
"heart beat rate")
domainEnglishFormat.kif 27788-27788
(
termFormat
ChineseTraditionalLanguage
softwareHeartBeatRate
"心跳率")
domainEnglishFormat.kif 27789-27789
(
termFormat
ChineseLanguage
softwareHeartBeatRate
"心跳率")
domainEnglishFormat.kif 27790-27790
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners