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 9970-9970
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10711-10711
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10712-10712
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10713-10713
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10721-10721
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10722-10722
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10718-10718
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10720-10720
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10719-10719
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10715-10715
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10714-10714
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 1812-1812 Computer resource is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 287-287 Hardware system is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1329-1329 Realtime system is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1840-1840 Server is a subclass of computational system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16229-16229
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16228-16228
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16227-16227

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1043-1043 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 2153-2153 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 547-547 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 1667-1667 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 1065-1065 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 2160-2160 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 870-870 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 1819-1824
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