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
(
domain
systemBehavior
2
SystemBehaviorAttribute
)
QoSontology.kif 1345-1345
(
instance
systemBehavior
BinaryPredicate
)
QoSontology.kif 1343-1343
(
subrelation
systemBehavior
property
)
QoSontology.kif 1342-1342
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
?System
PeriodicSystemBehavior
)
(
complexity
?System
SingleRequirementComplexity
))
QoSontology.kif 1533-1535
(=>
(
systemBehavior
?System
TransientSystemBehavior
)
(
complexity
?System
SingleRequirementComplexity
))
QoSontology.kif 1529-1531
consequent
(=>
(
designPattern
?System
Guidance-DesignPattern
)
(
systemBehavior
?System
Transient-SystemBehavior
))
QoSontology.kif 1399-1401
(=>
(
designPattern
?System
InitiationDesignPattern
)
(
systemBehavior
?System
TransientSystemBehavior
))
QoSontology.kif 1417-1419
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