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
(subclass DataTransfer ComputerProcess) QoSontology.kif 91-91 subclass DataTransfer and ComputerProcess

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


(subclass ComputerBackingUp DataTransfer) ComputingBrands.kif 3478-3478 subclass ComputerBackingUp and DataTransfer
(subclass NetworkCommunication DataTransfer) ComputerInput.kif 2673-2673 subclass NetworkCommunication and DataTransfer
(subclass SoftwareInstallation DataTransfer) ComputingBrands.kif 3578-3578 subclass SoftwareInstallation and DataTransfer
(termFormat ChineseLanguage DataTransfer "数据传输") domainEnglishFormat.kif 18532-18532
(termFormat ChineseTraditionalLanguage DataTransfer "數據傳輸") domainEnglishFormat.kif 18531-18531
(termFormat EnglishLanguage DataTransfer "data transfer") domainEnglishFormat.kif 18530-18530

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 3963-3988
(=>
    (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
            (rMProgramOf ?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 rMProgramOf 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 3540-3544
(=>
    (and
        (connectedPeripheral ?COD ?C)
        (instance ?COD ComputerOutputDevice))
    (capability ?COD destination DataTransfer))		 ComputingBrands.kif 3534-3538
(=>
    (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 3205-3215
(=>
    (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 1711-1721
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners