| DataCompression
| |
| appearance as argument number 1 |
|
|
| (documentation DataCompression EnglishLanguage "Encoding data to take up less storage space.") | QoSontology.kif 1923-1924 | |
| (externalImage DataCompression "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Torchlight_zip.png") | pictureList.kif 1723-1723 | |
| (subclass DataCompression ComputerProcess) | QoSontology.kif 1922-1922 | DataCompression è una sottoclasse di ComputerProcess |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DataCompression "数据压缩") | domainEnglishFormat.kif 18558-18558 | |
| (termFormat ChineseTraditionalLanguage DataCompression "數據壓縮") | domainEnglishFormat.kif 18557-18557 | |
| (termFormat EnglishLanguage DataCompression "data compression") | domainEnglishFormat.kif 18556-18556 |
| 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 1926-1940 |
|
|
|
|