Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RealtimeSystem
RealtimeSystem(realtime system)

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


(subclass RealtimeSystem ComputationalSystem) QoSontology.kif 1426-1426 Realtime system is a subclass of computational system
(documentation RealtimeSystem EnglishLanguage "A computer-controlled system, the correct operation of which depends on meeting specified timing constraints.") QoSontology.kif 1427-1429 Realtime system is a subclass of computational system

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


(subclass HardwareSystem RealtimeSystem) QoSontology.kif 1431-1431 Hardware system is a subclass of realtime system
(subclass ComputerNetwork RealtimeSystem) QoSontology.kif 1432-1432 Computer network is a subclass of realtime system
(termFormat EnglishLanguage RealtimeSystem "realtime system") domainEnglishFormat.kif 48921-48921 Computer network is a subclass of realtime system
(termFormat ChineseTraditionalLanguage RealtimeSystem "實時系統") domainEnglishFormat.kif 48922-48922 Computer network is a subclass of realtime system
(termFormat ChineseLanguage RealtimeSystem "实时系统") domainEnglishFormat.kif 48923-48923 Computer network is a subclass of realtime system

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


(domain systemBehavior 1 RealtimeSystem) QoSontology.kif 1446-1446 The number 1 argument of system behavior is an instance of realtime system
(domain designPattern 1 RealtimeSystem) QoSontology.kif 1477-1477 The number 1 argument of design pattern is an instance of realtime system
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1549-1549 The number 1 argument of task relation is an instance of realtime system
(domain formOfAdaptation 1 RealtimeSystem) QoSontology.kif 1579-1579 The number 1 argument of form of adaptation is an instance of realtime system
(domain granularity 1 RealtimeSystem) QoSontology.kif 1614-1614 The number 1 argument of granularity is an instance of realtime system
(domain complexity 1 RealtimeSystem) QoSontology.kif 1627-1627 The number 1 argument of complexity is an instance of realtime system
(domain strictness 1 RealtimeSystem) QoSontology.kif 1668-1668 The number 1 argument of strictness is an instance of realtime system
(domain abstractionLevel 1 RealtimeSystem) QoSontology.kif 1738-1738 The number 1 argument of abstraction level 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners