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 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 |
| appearance as argument number 2 |
|
|
| (subclass ComputerNetwork ComputationalSystem) | QoSontology.kif 30-30 | |
| (subclass ComputerResource ComputationalSystem) | QoSontology.kif 1913-1913 | |
| (subclass HardwareSystem ComputationalSystem) | QoSontology.kif 289-289 | |
| (subclass RealtimeSystem ComputationalSystem) | QoSontology.kif 1430-1430 | |
| (subclass Server ComputationalSystem) | QoSontology.kif 1941-1941 | |
| (termFormat ChineseLanguage ComputationalSystem "计算系统") | domainEnglishFormat.kif 16253-16253 | |
| (termFormat ChineseTraditionalLanguage ComputationalSystem "計算系統") | domainEnglishFormat.kif 16252-16252 | |
| (termFormat EnglishLanguage ComputationalSystem "computational system") | domainEnglishFormat.kif 16251-16251 |
| appearance as argument number 3 |
|
|
| (domain benchmarkPerformance 1 ComputationalSystem) | QoSontology.kif 1144-1144 | |
| (domain collectRate 1 ComputationalSystem) | QoSontology.kif 2253-2253 | |
| (domain hostOf 1 ComputationalSystem) | QoSontology.kif 655-655 | |
| (domain memorySize 1 ComputationalSystem) | QoSontology.kif 1768-1768 | |
| (domain priority 1 ComputationalSystem) | QoSontology.kif 1166-1166 | |
| (domain sendRate 1 ComputationalSystem) | QoSontology.kif 2260-2260 | |
| (domain systemMeasured 2 ComputationalSystem) | QoSontology.kif 978-978 |
| 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 |
|
|
|