| DataCompression
| |
| appearance as argument number 1 |
|
|
| (documentation DataCompression EnglishLanguage "Encoding data to take up less storage space.") | QoSontology.kif 2029-2030 | |
| (externalImage DataCompression "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Torchlight_zip.png") | pictureList.kif 1722-1722 | |
| (subclass DataCompression ComputerProcess) | QoSontology.kif 2028-2028 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DataCompression "数据压缩") | domainEnglishFormat.kif 18569-18569 | |
| (termFormat ChineseTraditionalLanguage DataCompression "數據壓縮") | domainEnglishFormat.kif 18568-18568 | |
| (termFormat EnglishLanguage DataCompression "data compression") | domainEnglishFormat.kif 18567-18567 |
| antecedent |
|
|
| (=> (and (instance ?Compression DataCompression) (dataProcessed ?Compression ?Data) (holdsDuring (ImmediatePastFn (WhenFn ?Compression)) (memorySize ?Data (MeasureFn ?Memory ?Measure))) (holdsDuring (ImmediateFutureFn (WhenFn ?Compression)) (memorySize ?Data (MeasureFn ?NewMemory ?Measure)))) (lessThan ?NewMemory ?Memory)) |
QoSontology.kif 2032-2046 |
|
|
|