| DataCompression(data compression)
| | compression, image_compression |
| appearance as argument number 1 |
|
|
| s__documentation(s__DataCompression,s__EnglishLanguage,'"Encoding data to take up less storage space."')
|
QoSontology.kif 1929-1930 | |
| s__externalImage(s__DataCompression,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Torchlight_zip.png"')
|
pictureList.kif 1724-1724 | |
| s__subclass(s__DataCompression,s__ComputerProcess) s__instance(s__ComputerProcess,s__Class) s__instance(s__DataCompression,s__Class)
|
QoSontology.kif 1928-1928 | Data compression is a subclass of computer process |
| appearance as argument number 2 |
|
|
| s__termFormat(s__ChineseLanguage,s__DataCompression,'"数据压缩"')
|
domainEnglishFormat.kif 18549-18549 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__DataCompression,'"數據壓縮"')
|
domainEnglishFormat.kif 18548-18548 | |
| s__termFormat(s__EnglishLanguage,s__DataCompression,'"data compression"')
|
domainEnglishFormat.kif 18547-18547 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1932-1946 |
|
|
|
|