Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DataCompression
DataCompression(data compression)
compression, image_compression

appearance as argument number 1
-------------------------


(subclass DataCompression ComputerProcess) QoSontology.kif 2046-2046 Data compression is a subclass of computer process
(documentation DataCompression EnglishLanguage "Encoding data to take up less storage space.") QoSontology.kif 2047-2048 Data compression is a subclass of computer process
(externalImage DataCompression "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Torchlight_zip.png") pictureList.kif 1722-1722 Data compression is a subclass of computer process

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage DataCompression "data compression") domainEnglishFormat.kif 18558-18558
(termFormat ChineseTraditionalLanguage DataCompression "數據壓縮") domainEnglishFormat.kif 18559-18559
(termFormat ChineseLanguage DataCompression "数据压缩") domainEnglishFormat.kif 18560-18560

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 2050-2064 If X is an instance of data compression, Y is processed by X, Y requires Z W(s) holds during immediately before the time of existence of X, and Y requires V W(s) holds during immediately after the time of existence of X, then V is less than Z


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners