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
dataStreamSlack
Sigma KEE - dataStreamSlack
dataStreamSlack
appearance as argument number 1
(
documentation
dataStreamSlack
EnglishLanguage
"(
dataStreamSlack
?PATH ?N) means that a continuous or quasicontinuous path ?PATH should be able to process ?N additional data items at any time.")
QoSontology.kif 1210-1212
(
domain
dataStreamSlack
1
ComputerPath
)
QoSontology.kif 1208-1208
Die Zahl 1 Argument von
dataStreamSlack
ist ein
fall
von
ComputerPath
%n{nicht}
(
domain
dataStreamSlack
2
PositiveInteger
)
QoSontology.kif 1209-1209
Die Zahl 2 Argument von
dataStreamSlack
ist ein
fall
von
PositiveInteger
%n{nicht}
(
instance
dataStreamSlack
BinaryPredicate
)
QoSontology.kif 1207-1207
dataStreamSlack
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
dataStreamSlack
"%2 %n %1 的 data 松弛")
domainEnglishFormat.kif 644-644
(
format
ChineseTraditionalLanguage
dataStreamSlack
"%2 %n 是 %1 的 data 鬆弛")
domainEnglishFormat.kif 643-643
(
format
EnglishLanguage
dataStreamSlack
"%2 is %n a data stream slack of %1")
domainEnglishFormat.kif 642-642
(
termFormat
ChineseLanguage
dataStreamSlack
"数据流松弛")
domainEnglishFormat.kif 18594-18594
(
termFormat
ChineseTraditionalLanguage
dataStreamSlack
"數據流鬆弛")
domainEnglishFormat.kif 18593-18593
(
termFormat
EnglishLanguage
dataStreamSlack
"data stream slack")
domainEnglishFormat.kif 18592-18592
antecedent
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1214-1218
Wenn
dataStreamSlack
ComputerPath
and
PositiveInteger
,
dann
** ComputerPath
hat ein
attribut
ContinuousPath
%n{nicht} oder
** ComputerPath
hat ein
attribut
QuasicontinuousPath
%n{nicht}
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