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 1330-1332
(subclass RealtimeSystem ComputationalSystem) QoSontology.kif 1329-1329 Realtime system is a subclass of computational system

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


(subclass ComputerNetwork RealtimeSystem) QoSontology.kif 1335-1335 Computer network is a subclass of realtime system
(subclass HardwareSystem RealtimeSystem) QoSontology.kif 1334-1334 Hardware system is a subclass of realtime system
(termFormat ChineseLanguage RealtimeSystem "实时系统") domainEnglishFormat.kif 48920-48920
(termFormat ChineseTraditionalLanguage RealtimeSystem "實時系統") domainEnglishFormat.kif 48919-48919
(termFormat EnglishLanguage RealtimeSystem "realtime system") domainEnglishFormat.kif 48918-48918

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


(domain abstractionLevel 1 RealtimeSystem) QoSontology.kif 1624-1624 The number 1 argument of abstraction level is an instance of realtime system
(domain complexity 1 RealtimeSystem) QoSontology.kif 1521-1521 The number 1 argument of complexity is an instance of realtime system
(domain designPattern 1 RealtimeSystem) QoSontology.kif 1380-1380 The number 1 argument of design pattern is an instance of realtime system
(domain formOfAdaptation 1 RealtimeSystem) QoSontology.kif 1477-1477 The number 1 argument of form of adaptation is an instance of realtime system
(domain granularity 1 RealtimeSystem) QoSontology.kif 1508-1508 The number 1 argument of granularity is an instance of realtime system
(domain strictness 1 RealtimeSystem) QoSontology.kif 1560-1560 The number 1 argument of strictness is an instance of realtime system
(domain systemBehavior 1 RealtimeSystem) QoSontology.kif 1349-1349 The number 1 argument of system behavior is an instance of realtime system
(domain taskRelation 1 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