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
-------------------------


(documentation ComputationalSystem EnglishLanguage "Instances of ComputationalSystems include instances of SoftwareSystems, HardwareSystems, and ComputerNetworks.") QoSontology.kif 21-23
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 00/ HDDspin.JPG") pictureList.kif 9952-9952
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 02/ 80486dx2-large.jpg") pictureList.kif 10690-10690
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg") pictureList.kif 10691-10691
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3a/ EDSAC_%2810%29.jpg") pictureList.kif 10692-10692
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 54/ Floridaserversfront1.jpg") pictureList.kif 10700-10700
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 56/ WildBlueDish.jpg") pictureList.kif 10701-10701
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Knams-15-knsq-9.jpg") pictureList.kif 10697-10697
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Datacenter-telecom.jpg") pictureList.kif 10699-10699
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ d/ d4/ Wikimedia-servers-Sept04.jpg") pictureList.kif 10698-10698
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ e/ e7/ Intel_80486DX2_bottom.jpg") pictureList.kif 10694-10694
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ en/ 6/ 69/ Windows_Internet_Explorer_7_Vista.png") pictureList.kif 10693-10693
(subclass ComputationalSystem Product) QoSontology.kif 20-20 Computational system is a subclass of product

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


(subclass ComputerNetwork ComputationalSystem) QoSontology.kif 30-30 Computer network is a subclass of computational system
(subclass ComputerResource ComputationalSystem) QoSontology.kif 1807-1807 Computer resource is a subclass of computational system
(subclass HardwareSystem ComputationalSystem) QoSontology.kif 289-289 Hardware system is a subclass of computational system
(subclass RealtimeSystem ComputationalSystem) QoSontology.kif 1324-1324 Realtime system is a subclass of computational system
(subclass Server ComputationalSystem) QoSontology.kif 1835-1835 Server is a subclass of computational system
(termFormat ChineseLanguage ComputationalSystem "计算系统") domainEnglishFormat.kif 16258-16258 Server is a subclass of computational system
(termFormat ChineseTraditionalLanguage ComputationalSystem "計算系統") domainEnglishFormat.kif 16257-16257 Server is a subclass of computational system
(termFormat EnglishLanguage ComputationalSystem "computational system") domainEnglishFormat.kif 16256-16256 Server is a subclass of computational system

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


(domain benchmarkPerformance 1 ComputationalSystem) QoSontology.kif 1038-1038 The number 1 argument of benchmark performance is an instance of computational system
(domain collectRate 1 ComputationalSystem) QoSontology.kif 2147-2147 The number 1 argument of collect rate is an instance of computational system
(domain hostOf 1 ComputationalSystem) QoSontology.kif 549-549 The number 1 argument of host of is an instance of computational system
(domain memorySize 1 ComputationalSystem) QoSontology.kif 1662-1662 The number 1 argument of memory size is an instance of computational system
(domain priority 1 ComputationalSystem) QoSontology.kif 1060-1060 The number 1 argument of priority is an instance of computational system
(domain sendRate 1 ComputationalSystem) QoSontology.kif 2154-2154 The number 1 argument of send rate is an instance of computational system
(domain systemMeasured 2 ComputationalSystem) QoSontology.kif 872-872 The number 2 argument of system measured is an instance of computational system

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


(=>
    (instance ?Resource ComputerResource)
    (exists (?System)
        (and
            (instance ?System ComputationalSystem)
            (part ?Resource ?System))))		 QoSontology.kif 1814-1819
(=>
    (instance ?Transfer DataTransfer)
    (exists (?Origin ?Destination ?System ?Data)
        (and
            (origin ?Transfer ?Origin)
            (destination ?Transfer ?Destination)
            (instrument ?Transfer ?System)
            (patient ?Transfer ?Data)
            (instance ?Data DigitalData)
            (instance ?System HardwareSystem)
            (instance ?Origin HardwareSystem)
            (instance ?Destination ComputationalSystem))))		 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