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 9951-9951
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 02/ 80486dx2-large.jpg") pictureList.kif 10689-10689
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg") pictureList.kif 10690-10690
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3a/ EDSAC_%2810%29.jpg") pictureList.kif 10691-10691
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 54/ Floridaserversfront1.jpg") pictureList.kif 10699-10699
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 56/ WildBlueDish.jpg") pictureList.kif 10700-10700
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Knams-15-knsq-9.jpg") pictureList.kif 10696-10696
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Datacenter-telecom.jpg") pictureList.kif 10698-10698
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ d/ d4/ Wikimedia-servers-Sept04.jpg") pictureList.kif 10697-10697
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ e/ e7/ Intel_80486DX2_bottom.jpg") pictureList.kif 10693-10693
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ en/ 6/ 69/ Windows_Internet_Explorer_7_Vista.png") pictureList.kif 10692-10692
(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 1913-1913 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 1430-1430 Realtime system is a subclass of computational system
(subclass Server ComputationalSystem) QoSontology.kif 1941-1941 Server is a subclass of computational system
(termFormat ChineseLanguage ComputationalSystem "计算系统") domainEnglishFormat.kif 16253-16253 Server is a subclass of computational system
(termFormat ChineseTraditionalLanguage ComputationalSystem "計算系統") domainEnglishFormat.kif 16252-16252 Server is a subclass of computational system
(termFormat EnglishLanguage ComputationalSystem "computational system") domainEnglishFormat.kif 16251-16251 Server is a subclass of computational system

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


(domain benchmarkPerformance 1 ComputationalSystem) QoSontology.kif 1144-1144 The number 1 argument of benchmark performance is an instance of computational system
(domain collectRate 1 ComputationalSystem) QoSontology.kif 2253-2253 The number 1 argument of collect rate is an instance of computational system
(domain hostOf 1 ComputationalSystem) QoSontology.kif 655-655 The number 1 argument of host of is an instance of computational system
(domain memorySize 1 ComputationalSystem) QoSontology.kif 1768-1768 The number 1 argument of memory size is an instance of computational system
(domain priority 1 ComputationalSystem) QoSontology.kif 1166-1166 The number 1 argument of priority is an instance of computational system
(domain sendRate 1 ComputationalSystem) QoSontology.kif 2260-2260 The number 1 argument of send rate is an instance of computational system
(domain systemMeasured 2 ComputationalSystem) QoSontology.kif 978-978 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 1920-1925
(=>
    (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