| 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 1723-1723 | |
| (subclass DataTransfer ComputerProcess) | QoSontology.kif 91-91 |
| appearance as argument number 2 |
|
|
| (subclass ComputerBackingUp DataTransfer) | ComputingBrands.kif 3489-3489 | |
| (subclass NetworkCommunication DataTransfer) | ComputerInput.kif 2659-2659 | |
| (subclass SoftwareInstallation DataTransfer) | ComputingBrands.kif 3591-3591 | |
| (termFormat ChineseLanguage DataTransfer "数据传输") | domainEnglishFormat.kif 18611-18611 | |
| (termFormat ChineseTraditionalLanguage DataTransfer "數據傳輸") | domainEnglishFormat.kif 18610-18610 | |
| (termFormat EnglishLanguage DataTransfer "data transfer") | domainEnglishFormat.kif 18609-18609 |
| 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 3759-3784 | |
| (=> (and (instance ?System HardwareSystem) (component ?Network ?System) (instance ?Event DataTransfer) (origin ?Event ?System)) (and (instance ?Network ComputerNetwork) (instrument ?Event ?Network))) |
QoSontology.kif 326-334 | |
| (=> (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 |
|
|
| (=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice) (instance ?COD ?CLASS)) (capability ?CLASS origin DataTransfer)) |
ComputingBrands.kif 3552-3557 | |
| (=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice) (instance ?COD ?CLASS)) (capability ?CLASS destination DataTransfer)) |
ComputingBrands.kif 3545-3550 | |
| (=> (and (property ?X Booting) (instance ?X Computer)) (exists (?CD ?OS ?DT) (and (instance ?CD DigitalData) (instance ?OS OperatingSystem) (instance ?DT DataTransfer) (during (WhenFn ?DT) (WhenFn ?X)) (destination ?DT ?X) (part ?CD ?OS) (objectTransferred ?DT ?CD)))) |
ComputingBrands.kif 3217-3229 | |
| (=> (instance ?CP ComputerProtocol) (hasPurpose ?CP (exists (?P1 ?P2 ?C) (and (instance ?P1 ComputerProgram) (instance ?P2 ComputerProgram) (instance ?C DataTransfer) (origin ?C ?P1) (destination ?C ?P2) (represents ?CP ?C))))) |
ComputingBrands.kif 1736-1746 | |
| (=> (instance ?Feedback Feedback) (exists (?RM ?Process ?Program ?Send) (and (rMProgramOf ?RM ?Program) (programRunning ?Process ?Program) (instance ?Send DataTransfer) (patient ?Send ?Feedback) (destination ?Send ?RM)))) |
QoSontology.kif 782-790 | |
| (=> (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 2012-2021 | |
| (=> (instance ?Sink DataSink) (exists (?Transfer) (and (instance ?Transfer DataTransfer) (destination ?Transfer ?Sink)))) |
QoSontology.kif 1818-1823 |
|
|
|