TreeView Knowledge Base Browser - DownloadingOverNetwork

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 64292-64292
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64291-64291
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64294-64294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64293-64293
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64289-64289
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64290-64290

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