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 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 ComputationalSystem ist eine teilkategorie von Product

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


(subclass ComputerNetwork ComputationalSystem) QoSontology.kif 30-30 ComputerNetwork ist eine teilkategorie von ComputationalSystem
(subclass ComputerResource ComputationalSystem) QoSontology.kif 1807-1807 ComputerResource ist eine teilkategorie von ComputationalSystem
(subclass HardwareSystem ComputationalSystem) QoSontology.kif 289-289 HardwareSystem ist eine teilkategorie von ComputationalSystem
(subclass RealtimeSystem ComputationalSystem) QoSontology.kif 1324-1324 RealtimeSystem ist eine teilkategorie von ComputationalSystem
(subclass Server ComputationalSystem) QoSontology.kif 1835-1835 Server ist eine teilkategorie von ComputationalSystem
(termFormat ChineseLanguage ComputationalSystem "计算系统") domainEnglishFormat.kif 16242-16242
(termFormat ChineseTraditionalLanguage ComputationalSystem "計算系統") domainEnglishFormat.kif 16241-16241
(termFormat EnglishLanguage ComputationalSystem "computational system") domainEnglishFormat.kif 16240-16240

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


(domain benchmarkPerformance 1 ComputationalSystem) QoSontology.kif 1038-1038 Die Zahl 1 Argument von benchmarkPerformance ist ein fall von ComputationalSystem %n{nicht}
(domain collectRate 1 ComputationalSystem) QoSontology.kif 2147-2147 Die Zahl 1 Argument von collectRate ist ein fall von ComputationalSystem %n{nicht}
(domain hostOf 1 ComputationalSystem) QoSontology.kif 549-549 Die Zahl 1 Argument von hostOf ist ein fall von ComputationalSystem %n{nicht}
(domain memorySize 1 ComputationalSystem) QoSontology.kif 1662-1662 Die Zahl 1 Argument von memorySize ist ein fall von ComputationalSystem %n{nicht}
(domain priority 1 ComputationalSystem) QoSontology.kif 1060-1060 Die Zahl 1 Argument von priority ist ein fall von ComputationalSystem %n{nicht}
(domain sendRate 1 ComputationalSystem) QoSontology.kif 2154-2154 Die Zahl 1 Argument von sendRate ist ein fall von ComputationalSystem %n{nicht}
(domain systemMeasured 2 ComputationalSystem) QoSontology.kif 872-872 Die Zahl 2 Argument von systemMeasured ist ein fall von ComputationalSystem %n{nicht}

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