more pictures...| 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 9951-9951 | |
| (externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 02/ 80486dx2-large.jpg") | pictureList.kif 10688-10688 | |
| (externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Columbia_Supercomputer_-_NASA_Advanced_Supercomputing_Facility.jpg") | pictureList.kif 10689-10689 | |
| (externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3a/ EDSAC_%2810%29.jpg") | pictureList.kif 10690-10690 | |
| (externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 54/ Floridaserversfront1.jpg") | pictureList.kif 10698-10698 | |
| (externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 56/ WildBlueDish.jpg") | pictureList.kif 10699-10699 | |
| (externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Knams-15-knsq-9.jpg") | pictureList.kif 10695-10695 | |
| (externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Datacenter_telecom.jpg") | pictureList.kif 10697-10697 | |
| (externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ d/ d4/ Wikimedia_servers_Sept04.jpg") | pictureList.kif 10696-10696 | |
| (externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ commons/ e/ e7/ Intel_80486DX2_bottom.jpg") | pictureList.kif 10692-10692 | |
| (externalImage ComputationalSystem "http://upload.wikimedia.org/wikipedia/ en/ 6/ 69/ Windows_Internet_Explorer_7_Vista.png") | pictureList.kif 10691-10691 | |
| (subclass ComputationalSystem Product) | QoSontology.kif 20-20 |
| appearance as argument number 2 |
|
|
| (subclass ComputerNetwork ComputationalSystem) | QoSontology.kif 30-30 | |
| (subclass ComputerResource ComputationalSystem) | QoSontology.kif 1938-1938 | |
| (subclass HardwareSystem ComputationalSystem) | QoSontology.kif 290-290 | |
| (subclass RealtimeSystem ComputationalSystem) | QoSontology.kif 1433-1433 | |
| (subclass Server ComputationalSystem) | QoSontology.kif 1966-1966 | |
| (termFormat ChineseLanguage ComputationalSystem "计算系统") | domainEnglishFormat.kif 16257-16257 | |
| (termFormat ChineseTraditionalLanguage ComputationalSystem "計算系統") | domainEnglishFormat.kif 16256-16256 | |
| (termFormat EnglishLanguage ComputationalSystem "computational system") | domainEnglishFormat.kif 16255-16255 |
| appearance as argument number 3 |
|
|
| (domain benchmarkPerformance 1 ComputationalSystem) | QoSontology.kif 1147-1147 | |
| (domain collectRate 1 ComputationalSystem) | QoSontology.kif 2279-2279 | |
| (domain hostOf 1 ComputationalSystem) | QoSontology.kif 657-657 | |
| (domain memorySize 1 ComputationalSystem) | QoSontology.kif 1793-1793 | |
| (domain priority 1 ComputationalSystem) | QoSontology.kif 1169-1169 | |
| (domain sendRate 1 ComputationalSystem) | QoSontology.kif 2286-2286 | |
| (domain systemMeasured 2 ComputationalSystem) | QoSontology.kif 981-981 |
| consequent |
|
|
| (=> (instance ?Resource ComputerResource) (exists (?System) (and (instance ?System ComputationalSystem) (part ?Resource ?System)))) |
QoSontology.kif 1945-1950 | |
| (=> (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 |
|
|
|