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
-------------------------


(documentation RealtimeSystem EnglishLanguage "An computer-controlled system, the correct operation of which depends on meeting specified timing constraints.") QoSontology.kif 1325-1327
(subclass RealtimeSystem ComputationalSystem) QoSontology.kif 1324-1324 Realtime system is a subclass of computational system

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


(subclass ComputerNetwork RealtimeSystem) QoSontology.kif 1330-1330 Computer network is a subclass of realtime system
(subclass HardwareSystem RealtimeSystem) QoSontology.kif 1329-1329 Hardware system is a subclass of realtime system
(termFormat ChineseLanguage RealtimeSystem "实时系统") domainEnglishFormat.kif 48928-48928
(termFormat ChineseTraditionalLanguage RealtimeSystem "實時系統") domainEnglishFormat.kif 48927-48927
(termFormat EnglishLanguage RealtimeSystem "realtime system") domainEnglishFormat.kif 48926-48926

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


(domain abstractionLevel 1 RealtimeSystem) QoSontology.kif 1619-1619 The number 1 argument of abstraction level is an instance of realtime system
(domain complexity 1 RealtimeSystem) QoSontology.kif 1516-1516 The number 1 argument of complexity is an instance of realtime system
(domain designPattern 1 RealtimeSystem) QoSontology.kif 1375-1375 The number 1 argument of design pattern is an instance of realtime system
(domain formOfAdaptation 1 RealtimeSystem) QoSontology.kif 1472-1472 The number 1 argument of form of adaptation is an instance of realtime system
(domain granularity 1 RealtimeSystem) QoSontology.kif 1503-1503 The number 1 argument of granularity is an instance of realtime system
(domain strictness 1 RealtimeSystem) QoSontology.kif 1555-1555 The number 1 argument of strictness is an instance of realtime system
(domain systemBehavior 1 RealtimeSystem) QoSontology.kif 1344-1344 The number 1 argument of system behavior is an instance of realtime system
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1444-1444 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