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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 e' uma sub-classe de ComputationalSystem

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


(subclass ComputerNetwork RealtimeSystem) QoSontology.kif 1330-1330 ComputerNetwork e' uma sub-classe de RealtimeSystem
(subclass HardwareSystem RealtimeSystem) QoSontology.kif 1329-1329 HardwareSystem e' uma sub-classe de RealtimeSystem
(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 O argumento numero 1 de abstractionLevel e' uma instancia de RealtimeSystem
(domain complexity 1 RealtimeSystem) QoSontology.kif 1516-1516 O argumento numero 1 de complexity e' uma instancia de RealtimeSystem
(domain designPattern 1 RealtimeSystem) QoSontology.kif 1375-1375 O argumento numero 1 de designPattern e' uma instancia de RealtimeSystem
(domain formOfAdaptation 1 RealtimeSystem) QoSontology.kif 1472-1472 O argumento numero 1 de formOfAdaptation e' uma instancia de RealtimeSystem
(domain granularity 1 RealtimeSystem) QoSontology.kif 1503-1503 O argumento numero 1 de granularity e' uma instancia de RealtimeSystem
(domain strictness 1 RealtimeSystem) QoSontology.kif 1555-1555 O argumento numero 1 de strictness e' uma instancia de RealtimeSystem
(domain systemBehavior 1 RealtimeSystem) QoSontology.kif 1344-1344 O argumento numero 1 de systemBehavior e' uma instancia de RealtimeSystem
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1444-1444 O argumento numero 1 de taskRelation e' uma instancia de RealtimeSystem


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