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 1724-1724 | |
(subclass DataTransfer ComputerProcess) | QoSontology.kif 91-91 | 子類 數據傳輸 and 電腦程序 |
appearance as argument number 2 |
(subclass ComputerBackingUp DataTransfer) | ComputingBrands.kif 3489-3489 | 子類 ComputerBackingUp and 數據傳輸 |
(subclass NetworkCommunication DataTransfer) | ComputerInput.kif 2659-2659 | 子類 NetworkCommunication and 數據傳輸 |
(subclass SoftwareInstallation DataTransfer) | ComputingBrands.kif 3591-3591 | 子類 安裝 and 數據傳輸 |
(termFormat ChineseLanguage DataTransfer "数据传输") | domainEnglishFormat.kif 18600-18600 | |
(termFormat ChineseTraditionalLanguage DataTransfer "數據傳輸") | domainEnglishFormat.kif 18599-18599 | |
(termFormat EnglishLanguage DataTransfer "data transfer") | domainEnglishFormat.kif 18598-18598 |
antecedent |
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 676-684 | |
(=> (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 1712-1717 |