Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DataTransfer
DataTransfer(data transfer)

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 Data transfer is a subclass of computer process

appearance as argument number 2
-------------------------


(subclass ComputerBackingUp DataTransfer) ComputingBrands.kif 3483-3483 Backup is a subclass of data transfer
(subclass NetworkCommunication DataTransfer) ComputerInput.kif 2673-2673 NetworkCommunication is a subclass of data transfer
(subclass SoftwareInstallation DataTransfer) ComputingBrands.kif 3583-3583 Installation is a subclass of data transfer
(termFormat ChineseLanguage DataTransfer "数据传输") domainEnglishFormat.kif 18523-18523
(termFormat ChineseTraditionalLanguage DataTransfer "數據傳輸") domainEnglishFormat.kif 18522-18522
(termFormat EnglishLanguage DataTransfer "data transfer") domainEnglishFormat.kif 18521-18521

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 3961-3986
(=>
    (and
        (instance ?System HardwareSystem)
        (component ?Network ?System)
        (instance ?Event DataTransfer)
        (origin ?Event ?System))
    (and
        (instance ?Network ComputerNetwork)
        (instrument ?Event ?Network)))
QoSontology.kif 324-332
(=>
    (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 674-682 An entity is an instance of feedback if and only if there exist a resource management program, a computer process and a software system such that the software system is a rM program-of of the resource management program and the software system is a program running of the computer process and a process is an instance of data transfer and the entity is a patient of the process and the process ends up at the resource management program
(=>
    (and
        (connectedPeripheral ?COD ?C)
        (instance ?COD ComputerInputDevice))
    (capability ?COD origin DataTransfer))
ComputingBrands.kif 3545-3549
(=>
    (and
        (connectedPeripheral ?COD ?C)
        (instance ?COD ComputerOutputDevice))
    (capability ?COD destination DataTransfer))
ComputingBrands.kif 3539-3543
(=>
    (attribute ?X Booting)
    (exists (?CD)
        (and
            (instance ?CD DigitalData)
            (instance ?OS OperatingSystem)
            (instance ?DT DataTransfer)
            (during ?DT ?X)
            (destination ?DT ?X)
            (part ?CD ?OS)
            (objectTransferred ?DT ?CD))))
ComputingBrands.kif 3207-3217
(=>
    (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 1713-1723
(=>
    (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 2216-2225
(=>
    (instance ?Sink DataSink)
    (exists (?Transfer)
        (and
            (instance ?Transfer DataTransfer)
            (destination ?Transfer ?Sink))))
QoSontology.kif 1717-1722


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners