|
|
   ComputationalSystem
|
|
|
| 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 | 子類 計算系統 and Product |
| appearance as argument number 2 |
|
|
| (subclass ComputerNetwork ComputationalSystem) | QoSontology.kif 30-30 | 子類 計算機網絡 and 計算系統 |
| (subclass ComputerResource ComputationalSystem) | QoSontology.kif 1807-1807 | 子類 計算機資源 and 計算系統 |
| (subclass HardwareSystem ComputationalSystem) | QoSontology.kif 289-289 | 子類 硬件系統 and 計算系統 |
| (subclass RealtimeSystem ComputationalSystem) | QoSontology.kif 1324-1324 | 子類 實時系統 and 計算系統 |
| (subclass Server ComputationalSystem) | QoSontology.kif 1835-1835 | 子類 服務器 and 計算系統 |
| (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 | 域 基準表現, 1 and 計算系統 |
| (domain collectRate 1 ComputationalSystem) | QoSontology.kif 2147-2147 | 域 收集率, 1 and 計算系統 |
| (domain hostOf 1 ComputationalSystem) | QoSontology.kif 549-549 | 域 的主持, 1 and 計算系統 |
| (domain memorySize 1 ComputationalSystem) | QoSontology.kif 1662-1662 | 域 記憶體大小, 1 and 計算系統 |
| (domain priority 1 ComputationalSystem) | QoSontology.kif 1060-1060 | 域 優先, 1 and 計算系統 |
| (domain sendRate 1 ComputationalSystem) | QoSontology.kif 2154-2154 | 域 發送率, 1 and 計算系統 |
| (domain systemMeasured 2 ComputationalSystem) | QoSontology.kif 872-872 | 域 系統測量的, 2 and 計算系統 |
| 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 |
|
|
|
