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 9970-9970
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 02/ 80486dx2-large.jpg") pictureList.kif 10711-10711
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg") pictureList.kif 10712-10712
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3a/ EDSAC_%2810%29.jpg") pictureList.kif 10713-10713
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 54/ Floridaserversfront1.jpg") pictureList.kif 10721-10721
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 56/ WildBlueDish.jpg") pictureList.kif 10722-10722
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Knams-15-knsq-9.jpg") pictureList.kif 10718-10718
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Datacenter-telecom.jpg") pictureList.kif 10720-10720
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ d/ d4/ Wikimedia-servers-Sept04.jpg") pictureList.kif 10719-10719
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ e/ e7/ Intel_80486DX2_bottom.jpg") pictureList.kif 10715-10715
(externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ en/ 6/ 69/ Windows_Internet_Explorer_7_Vista.png") pictureList.kif 10714-10714
(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 1812-1812 Computer resource is a subclass of computational system
(subclass HardwareSystem ComputationalSystem) QoSontology.kif 287-287 Hardware system is a subclass of computational system
(subclass RealtimeSystem ComputationalSystem) QoSontology.kif 1329-1329 Realtime system is a subclass of computational system
(subclass Server ComputationalSystem) QoSontology.kif 1840-1840 Server is a subclass of computational system
(termFormat ChineseLanguage ComputationalSystem "计算系统") domainEnglishFormat.kif 16165-16165
(termFormat ChineseTraditionalLanguage ComputationalSystem "計算系統") domainEnglishFormat.kif 16164-16164
(termFormat EnglishLanguage ComputationalSystem "computational system") domainEnglishFormat.kif 16163-16163

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


(domain benchmarkPerformance 1 ComputationalSystem) QoSontology.kif 1043-1043 The number 1 argument of benchmark performance is an instance of computational system
(domain collectRate 1 ComputationalSystem) QoSontology.kif 2153-2153 The number 1 argument of collect rate is an instance of computational system
(domain hostOf 1 ComputationalSystem) QoSontology.kif 547-547 The number 1 argument of host of is an instance of computational system
(domain memorySize 1 ComputationalSystem) QoSontology.kif 1667-1667 The number 1 argument of memory size is an instance of computational system
(domain priority 1 ComputationalSystem) QoSontology.kif 1065-1065 The number 1 argument of priority is an instance of computational system
(domain sendRate 1 ComputationalSystem) QoSontology.kif 2160-2160 The number 1 argument of send rate is an instance of computational system
(domain systemMeasured 2 ComputationalSystem) QoSontology.kif 870-870 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 1819-1824
(=>
    (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