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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RealtimeSystem

Sigma KEE - RealtimeSystem
RealtimeSystem

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 RealtimeSystemComputationalSystemsubclass では %n

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


(subclass ComputerNetwork RealtimeSystem) QoSontology.kif 1330-1330 ComputerNetworkRealtimeSystemsubclass では %n
(subclass HardwareSystem RealtimeSystem) QoSontology.kif 1329-1329 HardwareSystemRealtimeSystemsubclass では %n
(termFormat ChineseLanguage RealtimeSystem "实时系统") domainEnglishFormat.kif 48926-48926
(termFormat ChineseTraditionalLanguage RealtimeSystem "實時系統") domainEnglishFormat.kif 48925-48925
(termFormat EnglishLanguage RealtimeSystem "realtime system") domainEnglishFormat.kif 48924-48924

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


(domain abstractionLevel 1 RealtimeSystem) QoSontology.kif 1619-1619 abstractionLevel の数値 1 引数は RealtimeSysteminstance では %n
(domain complexity 1 RealtimeSystem) QoSontology.kif 1516-1516 complexity の数値 1 引数は RealtimeSysteminstance では %n
(domain designPattern 1 RealtimeSystem) QoSontology.kif 1375-1375 designPattern の数値 1 引数は RealtimeSysteminstance では %n
(domain formOfAdaptation 1 RealtimeSystem) QoSontology.kif 1472-1472 formOfAdaptation の数値 1 引数は RealtimeSysteminstance では %n
(domain granularity 1 RealtimeSystem) QoSontology.kif 1503-1503 granularity の数値 1 引数は RealtimeSysteminstance では %n
(domain strictness 1 RealtimeSystem) QoSontology.kif 1555-1555 strictness の数値 1 引数は RealtimeSysteminstance では %n
(domain systemBehavior 1 RealtimeSystem) QoSontology.kif 1344-1344 systemBehavior の数値 1 引数は RealtimeSysteminstance では %n
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1444-1444 taskRelation の数値 1 引数は RealtimeSysteminstance では %n


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