|
|
   DataTransfer
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DataTransfer EnglishLanguage "A subclass of ComputerProcesses which send data over a computer channel or bus.") | QoSontology.kif 92-93 | |
| (externalImage DataTransfer "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Fibreoptic.jpg") | pictureList.kif 1725-1725 | |
| (subclass DataTransfer ComputerProcess) | QoSontology.kif 91-91 |
| appearance as argument number 2 |
|
|
| (subclass NetworkCommunication DataTransfer) | ComputerInput.kif 2217-2217 | |
| (termFormat EnglishLanguage DataTransfer "data transfer") | domainEnglishFormat.kif 3521-3521 |
| antecedent |
|
|
| (=> (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (instance ?TRANSFER DataTransfer) (instance ?SERVER Server) (instance ?REQUESTING Requesting) (instance ?BROWSER WebBrowser) (instance ?INTERVAL TimeInterval) (patient ?ACCESSING ?PAGE) (agent ?REQUESTING ?BROWSER) (destination ?REQUESTING ?SERVER) (patient ?REQUESTING ?PAGE) (origin ?TRANSFER ?SERVER) (destination ?TRANSFER ?BROWSER) (patient ?TRANSFER ?PAGE) (subProcess ?TRANSFER ?ACCESSING) (subProcess ?REQUESTING ?ACCESSING) (equal (EndFn (WhenFn ?REQUESTING)) (BeginFn ?INTERVAL)) (equal (EndFn (WhenFn ?TRANSFER)) (EndFn ?INTERVAL))) (equal (SiteSpeedFn ?ACCESSING) ?INTERVAL)) |
UXExperimentalTerms.kif 3954-3979 | |
| (=> (and (instance ?System ?HardwareSystem) (component ?Network ?System) (instance ?Event DataTransfer) (origin ?Event ?System)) (and (instance ?Network ComputerNetwork) (instrument ?Event ?Network))) |
QoSontology.kif 321-329 | |
| (=> (instance ?Transfer DataTransfer) (exists (?Origin ?Destination ?System ?Data) (and (origin ?Transfer ?Origin) (destination ?Transfer ?Destination) (instrument ?Transfer ?System) (patient ?Transfer ?Data) (instance ?Data DigitalData) (instance ?System HardwareSystem) (instance ?Origin HardwareSystem) (instance ?Destination ComputationalSystem)))) |
QoSontology.kif 95-106 |
| consequent |
|
|
| (<=> (instance ?Feedback Feedback) (exists (?RM ?Process ?Program) (and (rMProgram-of ?RM ?Program) (programRunning ?Process ?Program) (instance ?Send DataTransfer) (patient ?Send ?Feedback) (destination ?Send ?RM)))) |
QoSontology.kif 657-665 | |
| (=> (instance ?MODULE WebPageModule) (hasPurpose ?MODULE (exists (?TRANSFER ?ORIGIN ?MODULE_SERVER) (and (instance ?TRANSFER DataTransfer) (instance ?MODULE_SERVER PageModuleServer) (instance ?ORIGIN ?MODULE_SERVER) (origin ?TRANSFER ?MODULE_SERVER) (destination ?TRANSFER ?MODULE))))) |
UXExperimentalTerms.kif 2218-2227 | |
| (=> (instance ?Sink DataSink) (exists (?Transfer) (and (instance ?Transfer DataTransfer) (destination ?Transfer ?Sink)))) |
QoSontology.kif 1691-1696 |
|
|
|
