| DataCompression
| |
| appearance as argument number 1 |
|
|
| (documentation DataCompression EnglishLanguage "Encoding data to take up less storage space.") | QoSontology.kif 2054-2055 | |
| (externalImage DataCompression "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Torchlight_zip.png") | pictureList.kif 1722-1722 | |
| (subclass DataCompression ComputerProcess) | QoSontology.kif 2053-2053 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DataCompression "数据压缩") | domainEnglishFormat.kif 18567-18567 | |
| (termFormat ChineseTraditionalLanguage DataCompression "數據壓縮") | domainEnglishFormat.kif 18566-18566 | |
| (termFormat EnglishLanguage DataCompression "data compression") | domainEnglishFormat.kif 18565-18565 |
| 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 2057-2071 |
|
|
|