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
systemBehavior
Sigma KEE - systemBehavior
systemBehavior
appearance as argument number 1
(
documentation
systemBehavior
EnglishLanguage
"(
systemBehavior
?System ?Attribute) holds if ?Attribute is a SystemBehaviorAttribute which describes the
RealtimeSystem
?System.")
QoSontology.kif 1346-1348
(
domain
systemBehavior
1
RealtimeSystem
)
QoSontology.kif 1344-1344
The number 1 argument of
system behavior
is an
instance
of
realtime system
(
domain
systemBehavior
2
SystemBehaviorAttribute
)
QoSontology.kif 1345-1345
The number 2 argument of
system behavior
is an
instance
of
system behavior attribute
(
instance
systemBehavior
BinaryPredicate
)
QoSontology.kif 1343-1343
system behavior
is an
instance
of
binary predicate
(
subrelation
systemBehavior
property
)
QoSontology.kif 1342-1342
system behavior
is a
subrelation
of
property
appearance as argument number 2
(
format
ChineseLanguage
systemBehavior
"%1 的 behavior 是 %2 ")
domainEnglishFormat.kif 4722-4722
(
format
ChineseTraditionalLanguage
systemBehavior
"%1 的 behavior 是 %2 ")
domainEnglishFormat.kif 4721-4721
(
format
EnglishLanguage
systemBehavior
"the behavior of %1 is %2")
domainEnglishFormat.kif 4720-4720
(
termFormat
ChineseLanguage
systemBehavior
"系统行为")
domainEnglishFormat.kif 56649-56649
(
termFormat
ChineseTraditionalLanguage
systemBehavior
"系統行為")
domainEnglishFormat.kif 56648-56648
(
termFormat
EnglishLanguage
systemBehavior
"system behavior")
domainEnglishFormat.kif 56647-56647
antecedent
(=>
(
systemBehavior
?System
HybridSystemBehavior
)
(
complexity
?System
MultipleRequirementComplexity
))
QoSontology.kif 1543-1545
If the
behavior
of
a realtime system
is
HybridSystemBehavior
,
then the
complexity
of
the realtime system
is
MultipleRequirementComplexity
(=>
(
systemBehavior
?System
PeriodicSystemBehavior
)
(
complexity
?System
SingleRequirementComplexity
))
QoSontology.kif 1533-1535
If the
behavior
of
a realtime system
is
PeriodicSystemBehavior
,
then the
complexity
of
the realtime system
is
SingleRequirementComplexity
(=>
(
systemBehavior
?System
TransientSystemBehavior
)
(
complexity
?System
SingleRequirementComplexity
))
QoSontology.kif 1529-1531
If the
behavior
of
a realtime system
is
TransientSystemBehavior
,
then the
complexity
of
the realtime system
is
SingleRequirementComplexity
consequent
(=>
(
designPattern
?System
Guidance-DesignPattern
)
(
systemBehavior
?System
Transient-SystemBehavior
))
QoSontology.kif 1399-1401
If
a realtime system
has the
pattern
guidance- design pattern
,
then the
behavior
of
the realtime system
is
transient- system behavior
(=>
(
designPattern
?System
InitiationDesignPattern
)
(
systemBehavior
?System
TransientSystemBehavior
))
QoSontology.kif 1417-1419
If
a realtime system
has the
pattern
InitiationDesignPattern
,
then the
behavior
of
the realtime system
is
TransientSystemBehavior
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
