Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RealtimeSystem
RealtimeSystem(realtime system)

appearance as argument number 1
-------------------------


s__documentation(s__RealtimeSystem,s__EnglishLanguage,'"An computer-controlled system, the correct operation of which depends on meeting specified timing constraints."')

QoSontology.kif 1330-1332
s__instance(s__RealtimeSystem,s__SetOrClass)

s__subclass(s__RealtimeSystem,s__ComputationalSystem)

s__instance(s__ComputationalSystem,s__SetOrClass)

QoSontology.kif 1329-1329 Realtime system is a subclass of computational system

appearance as argument number 2
-------------------------


s__instance(s__ComputerNetwork,s__SetOrClass)

s__subclass(s__ComputerNetwork,s__RealtimeSystem)

s__instance(s__RealtimeSystem,s__SetOrClass)

QoSontology.kif 1335-1335 Computer network is a subclass of realtime system
s__instance(s__HardwareSystem,s__SetOrClass)

s__instance(s__RealtimeSystem,s__SetOrClass)

s__subclass(s__HardwareSystem,s__RealtimeSystem)

QoSontology.kif 1334-1334 Hardware system is a subclass of realtime system
s__termFormat(s__ChineseLanguage,s__RealtimeSystem,'"实时系统"')

domainEnglishFormat.kif 48909-48909
s__termFormat(s__ChineseTraditionalLanguage,s__RealtimeSystem,'"實時系統"')

domainEnglishFormat.kif 48908-48908
s__termFormat(s__EnglishLanguage,s__RealtimeSystem,'"realtime system"')

domainEnglishFormat.kif 48907-48907

appearance as argument number 3
-------------------------


s__domain(s__abstractionLevel__m,n__1,s__RealtimeSystem)

QoSontology.kif 1624-1624 The number 1 argument of abstraction level is an instance of realtime system
s__domain(s__complexity__m,n__1,s__RealtimeSystem)

QoSontology.kif 1521-1521 The number 1 argument of complexity is an instance of realtime system
s__domain(s__designPattern__m,n__1,s__RealtimeSystem)

QoSontology.kif 1380-1380 The number 1 argument of design pattern is an instance of realtime system
s__domain(s__formOfAdaptation__m,n__1,s__RealtimeSystem)

QoSontology.kif 1477-1477 The number 1 argument of form of adaptation is an instance of realtime system
s__domain(s__granularity__m,n__1,s__RealtimeSystem)

QoSontology.kif 1508-1508 The number 1 argument of granularity is an instance of realtime system
s__domain(s__strictness__m,n__1,s__RealtimeSystem)

QoSontology.kif 1560-1560 The number 1 argument of strictness is an instance of realtime system
s__domain(s__systemBehavior__m,n__1,s__RealtimeSystem)

QoSontology.kif 1349-1349 The number 1 argument of system behavior is an instance of realtime system
s__domain(s__taskRelation__m,n__1,s__RealtimeSystem)

QoSontology.kif 1449-1449 The number 1 argument of task relation is an instance of realtime system


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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