No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2774-2774 | Uploading is a subclass of network communication |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2788-2788 | Uploading image is a subclass of uploading |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2800-2800 | Uploading video is a subclass of uploading |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2812-2812 | Uploading audio file is a subclass of uploading |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2879-2879 | Posting on blog is a subclass of uploading |