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
Il numero 1 argomenti di
systemBehavior
è un
istanza
di
RealtimeSystem
(
domain
systemBehavior
2
SystemBehaviorAttribute
)
QoSontology.kif 1345-1345
Il numero 2 argomenti di
systemBehavior
è un
istanza
di
SystemBehaviorAttribute
(
instance
systemBehavior
BinaryPredicate
)
QoSontology.kif 1343-1343
systemBehavior
è un'
istanza
di
PredicatoBinario
(
subrelation
systemBehavior
property
)
QoSontology.kif 1342-1342
systemBehavior
è una
sottorelazione
di
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 56647-56647
(
termFormat
ChineseTraditionalLanguage
systemBehavior
"系統行為")
domainEnglishFormat.kif 56646-56646
(
termFormat
EnglishLanguage
systemBehavior
"system behavior")
domainEnglishFormat.kif 56645-56645
antecedent
(=>
(
systemBehavior
?System
HybridSystemBehavior
)
(
complexity
?System
MultipleRequirementComplexity
))
QoSontology.kif 1543-1545
systemBehavior
RealtimeSystem
and
HybridSystemBehavior
complexity
RealtimeSystem
and
MultipleRequirementComplexity
(=>
(
systemBehavior
?System
PeriodicSystemBehavior
)
(
complexity
?System
SingleRequirementComplexity
))
QoSontology.kif 1533-1535
systemBehavior
RealtimeSystem
and
PeriodicSystemBehavior
complexity
RealtimeSystem
and
SingleRequirementComplexity
(=>
(
systemBehavior
?System
TransientSystemBehavior
)
(
complexity
?System
SingleRequirementComplexity
))
QoSontology.kif 1529-1531
systemBehavior
RealtimeSystem
and
TransientSystemBehavior
complexity
RealtimeSystem
and
SingleRequirementComplexity
consequent
(=>
(
designPattern
?System
Guidance-DesignPattern
)
(
systemBehavior
?System
Transient-SystemBehavior
))
QoSontology.kif 1399-1401
designPattern
RealtimeSystem
and
Guidance-DesignPattern
systemBehavior
RealtimeSystem
and
Transient-SystemBehavior
(=>
(
designPattern
?System
InitiationDesignPattern
)
(
systemBehavior
?System
TransientSystemBehavior
))
QoSontology.kif 1417-1419
designPattern
RealtimeSystem
and
InitiationDesignPattern
systemBehavior
RealtimeSystem
and
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