DownloadingOverNetwork - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2679-2682
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2678-2678	Downloading is a subclass of network communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2701-2701	Downloading software is a subclass of downloading
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2713-2713	Downloading user file is a subclass of downloading
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2694-2694	Downloadinging update is a subclass of downloading
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64315-64315	Downloadinging update is a subclass of downloading
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64314-64314	Downloadinging update is a subclass of downloading
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64317-64317	Downloadinging update is a subclass of downloading
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64316-64316	Downloadinging update is a subclass of downloading
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64312-64312	Downloadinging update is a subclass of downloading
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64313-64313	Downloadinging update is a subclass of downloading

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2684-2692	If a process is an instance of downloading, then there exist an entity and an agent such that the entity is a patient of the process and the agent is an agent of the process and the process ends up at the agent and the agent is an instance of computer system and the entity is an instance of digital data
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2667-2672	If a process is an instance of downloading, then there exists an entity such that the entity is a patient of the process and the entity is an instance of web page

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1990-1999	If a physical is an instance of Apple app store and the physical is a program running of a computer process and the computer process is running on a computer, then the physical has the purpose there exists an entity such that the entity is an instance of downloading and the entity originates at the computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3409-3417	If a physical is an instance of i_tunes, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of multimedia file and the other entity is an instance of downloading and the object transferred in the other entity is the entity and the physical is an instrument for the other entity

statement

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3309-3315

IBookstore has the purpose there exists ?D such that ?D is an instance of downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T