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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ComputationalSystem
ComputationalSystem(computational system)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 21-23
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9951-9951
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10688-10688
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10689-10689
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10690-10690
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10698-10698
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10699-10699
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10695-10695
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10697-10697
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10696-10696
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10692-10692
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10691-10691
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 20-20 Computational system is a subclass of product

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 30-30 Computer network is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1938-1938 Computer resource is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 290-290 Hardware system is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1433-1433 Realtime system is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1966-1966 Server is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16251-16251 Server is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16250-16250 Server is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16249-16249 Server is a subclass of computational system

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1147-1147 The number 1 argument of benchmark performance is an instance of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2279-2279 The number 1 argument of collect rate is an instance of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 657-657 The number 1 argument of host of is an instance of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1793-1793 The number 1 argument of memory size is an instance of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1169-1169 The number 1 argument of priority is an instance of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2286-2286 The number 1 argument of send rate is an instance of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 981-981 The number 2 argument of system measured is an instance of computational system

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1945-1950
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 95-106


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