DataCompression(data compression)![]() | ![]() | compression, image_compression |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1928-1929 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1724-1724 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1927-1927 | Data compression is a subclass of computer process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18549-18549 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18548-18548 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18547-18547 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1931-1945 |
|
![]() |
![]() |