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 RealtimeSystem ist eine teilkategorie von ComputationalSystem

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


(subclass ComputerNetwork RealtimeSystem) QoSontology.kif 1330-1330 ComputerNetwork ist eine teilkategorie von RealtimeSystem
(subclass HardwareSystem RealtimeSystem) QoSontology.kif 1329-1329 HardwareSystem ist eine teilkategorie von RealtimeSystem
(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 Die Zahl 1 Argument von abstractionLevel ist ein fall von RealtimeSystem %n{nicht}
(domain complexity 1 RealtimeSystem) QoSontology.kif 1516-1516 Die Zahl 1 Argument von complexity ist ein fall von RealtimeSystem %n{nicht}
(domain designPattern 1 RealtimeSystem) QoSontology.kif 1375-1375 Die Zahl 1 Argument von designPattern ist ein fall von RealtimeSystem %n{nicht}
(domain formOfAdaptation 1 RealtimeSystem) QoSontology.kif 1472-1472 Die Zahl 1 Argument von formOfAdaptation ist ein fall von RealtimeSystem %n{nicht}
(domain granularity 1 RealtimeSystem) QoSontology.kif 1503-1503 Die Zahl 1 Argument von granularity ist ein fall von RealtimeSystem %n{nicht}
(domain strictness 1 RealtimeSystem) QoSontology.kif 1555-1555 Die Zahl 1 Argument von strictness ist ein fall von RealtimeSystem %n{nicht}
(domain systemBehavior 1 RealtimeSystem) QoSontology.kif 1344-1344 Die Zahl 1 Argument von systemBehavior ist ein fall von RealtimeSystem %n{nicht}
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1444-1444 Die Zahl 1 Argument von taskRelation ist ein fall von RealtimeSystem %n{nicht}


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