Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputationalSystem
ComputationalSystem
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

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


(subclass ComputerNetwork ComputationalSystem) QoSontology.kif 30-30
(subclass ComputerResource ComputationalSystem) QoSontology.kif 1812-1812
(subclass HardwareSystem ComputationalSystem) QoSontology.kif 287-287
(subclass RealtimeSystem ComputationalSystem) QoSontology.kif 1329-1329
(subclass Server ComputationalSystem) QoSontology.kif 1840-1840
(termFormat ChineseLanguage ComputationalSystem "计算系统") domainEnglishFormat.kif 16171-16171
(termFormat ChineseTraditionalLanguage ComputationalSystem "計算系統") domainEnglishFormat.kif 16170-16170
(termFormat EnglishLanguage ComputationalSystem "computational system") domainEnglishFormat.kif 16169-16169

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


(domain benchmarkPerformance 1 ComputationalSystem) QoSontology.kif 1043-1043
(domain collectRate 1 ComputationalSystem) QoSontology.kif 2153-2153
(domain hostOf 1 ComputationalSystem) QoSontology.kif 547-547
(domain memorySize 1 ComputationalSystem) QoSontology.kif 1667-1667
(domain priority 1 ComputationalSystem) QoSontology.kif 1065-1065
(domain sendRate 1 ComputationalSystem) QoSontology.kif 2160-2160
(domain systemMeasured 2 ComputationalSystem) QoSontology.kif 870-870

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners