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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DataTransfer
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 externalImage DataTransfer and "http://upload.wikimedia.org/wikipedia/commons/4/49/ Fibreoptic.jpg"
(subclass DataTransfer ComputerProcess) QoSontology.kif 91-91 subclass DataTransfer and ComputerProcess

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


(subclass ComputerBackingUp DataTransfer) ComputingBrands.kif 3483-3483 subclass ComputerBackingUp and DataTransfer
(subclass NetworkCommunication DataTransfer) ComputerInput.kif 2337-2337 subclass NetworkCommunication and DataTransfer
(subclass SoftwareInstallation DataTransfer) ComputingBrands.kif 3583-3583 subclass SoftwareInstallation and DataTransfer
(termFormat ChineseLanguage DataTransfer "数据传输") domainEnglishFormat.kif 18529-18529 termFormat ChineseLanguage, DataTransfer and "数据传输"
(termFormat ChineseTraditionalLanguage DataTransfer "數據傳輸") domainEnglishFormat.kif 18528-18528 termFormat ChineseTraditionalLanguage, DataTransfer and "數據傳輸"
(termFormat EnglishLanguage DataTransfer "data transfer") domainEnglishFormat.kif 18527-18527 termFormat EnglishLanguage, DataTransfer and "data transfer"

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 instance Entity and Feedback ResourceManagementProgram ComputerProcess and SoftwareSystem rMProgram-of ResourceManagementProgram and SoftwareSystem programRunning ComputerProcess and SoftwareSystem instance Process and DataTransfer patient Process and Entity destination Process and ResourceManagementProgram
(=>
    (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