| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2774-2774 | 子類 上傳 and NetworkCommunication |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2788-2788 | 子類 UploadingImage and 上傳 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2800-2800 | 子類 UploadingVideo and 上傳 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2812-2812 | 子類 UploadingAudioFile and 上傳 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2879-2879 | 子類 PostingOnBlog and 上傳 |
|
|