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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RealtimeSystem

 Sigma KEE - RealtimeSystem
RealtimeSystem(realtime system)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1325-1327
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1324-1324 Realtime system is a subclass of computational system

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1330-1330 Computer network is a subclass of realtime system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1329-1329 Hardware system is a subclass of realtime system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48926-48926
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48925-48925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48924-48924

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1619-1619 The number 1 argument of abstraction level is an instance of realtime system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1516-1516 The number 1 argument of complexity is an instance of realtime system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1375-1375 The number 1 argument of design pattern is an instance of realtime system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1472-1472 The number 1 argument of form of adaptation is an instance of realtime system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1503-1503 The number 1 argument of granularity is an instance of realtime system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1555-1555 The number 1 argument of strictness is an instance of realtime system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1344-1344 The number 1 argument of system behavior is an instance of realtime system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1444-1444 The number 1 argument of task relation is an instance of realtime system


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