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 1723-1723
(subclass DataTransfer ComputerProcess) QoSontology.kif 91-91 子類 數據傳輸 and 電腦程序

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


(subclass ComputerBackingUp DataTransfer) ComputingBrands.kif 3485-3485 子類 ComputerBackingUp and 數據傳輸
(subclass NetworkCommunication DataTransfer) ComputerInput.kif 2659-2659 子類 NetworkCommunication and 數據傳輸
(subclass SoftwareInstallation DataTransfer) ComputingBrands.kif 3586-3586 子類 安裝 and 數據傳輸
(termFormat ChineseLanguage DataTransfer "数据传输") domainEnglishFormat.kif 18609-18609 子類 安裝 and 數據傳輸
(termFormat ChineseTraditionalLanguage DataTransfer "數據傳輸") domainEnglishFormat.kif 18608-18608 子類 安裝 and 數據傳輸
(termFormat EnglishLanguage DataTransfer "data transfer") domainEnglishFormat.kif 18607-18607 子類 安裝 and 數據傳輸

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 327-335
(=>
    (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 3547-3552
(=>
    (and
        (connectedPeripheral ?COD ?C)
        (instance ?COD ComputerOutputDevice)
        (instance ?COD ?CLASS))
    (capability ?CLASS destination DataTransfer))		 ComputingBrands.kif 3540-3545
(=>
    (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 3213-3225
(=>
    (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 785-793
(=>
    (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 1843-1848


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