ComputationalSystem - Sigma Knowledge base Browser

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	If an object is an instance of computer resource, then there exists another object such that the other object is an instance of computational system and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 95-106	If a process is an instance of data transfer, then there exist an object, an entity,, , another object and another entity such that the process originates at the object and the process ends up at the entity and the other object is an instrument for the process and the other entity is a patient of the process and the other entity is an instance of digital data and the other object is an instance of hardware system and the object is an instance of hardware system and the entity is an instance of computational system

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