| DataCompression(數據壓縮)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2029-2030 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1722-1722 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2028-2028 | 子類 數據壓縮 and 電腦程序 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18573-18573 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18572-18572 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18571-18571 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2032-2046 |
|
|
|