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
-------------------------


s__documentation(s__DataTransfer,s__EnglishLanguage,'"A subclass of ComputerProcesses which send data over a computer channel or bus."')

QoSontology.kif 92-93
s__externalImage(s__DataTransfer,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Fibreoptic.jpg"')

pictureList.kif 1725-1725
s__subclass(s__DataTransfer,s__ComputerProcess)

s__instance(s__ComputerProcess,s__SetOrClass)

s__instance(s__DataTransfer,s__SetOrClass)

QoSontology.kif 91-91 Data transfer is a subclass of computer process

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


s__subclass(s__ComputerBackingUp,s__DataTransfer)

s__instance(s__ComputerBackingUp,s__SetOrClass)

s__instance(s__DataTransfer,s__SetOrClass)

ComputingBrands.kif 3462-3462 Backup is a subclass of data transfer
s__instance(s__NetworkCommunication,s__SetOrClass)

s__subclass(s__NetworkCommunication,s__DataTransfer)

s__instance(s__DataTransfer,s__SetOrClass)

ComputerInput.kif 2687-2687 NetworkCommunication is a subclass of data transfer
s__subclass(s__SoftwareInstallation,s__DataTransfer)

s__instance(s__SoftwareInstallation,s__SetOrClass)

s__instance(s__DataTransfer,s__SetOrClass)

ComputingBrands.kif 3562-3562 Installation is a subclass of data transfer
s__termFormat(s__ChineseLanguage,s__DataTransfer,'"数据传输"')

domainEnglishFormat.kif 18591-18591
s__termFormat(s__ChineseTraditionalLanguage,s__DataTransfer,'"數據傳輸"')

domainEnglishFormat.kif 18590-18590
s__termFormat(s__EnglishLanguage,s__DataTransfer,'"data transfer"')

domainEnglishFormat.kif 18589-18589

antecedent
-------------------------


( ! [V__PAGE,V__ACCESSING,V__INTERVAL,V__REQUESTING,V__BROWSER,V__TRANSFER,V__SERVER] :
   (((s__instance(V__ACCESSING,s__AccessingWebPage) &
         s__instance(V__PAGE,s__WebPage) &
         s__instance(V__TRANSFER,s__DataTransfer) &
         s__instance(V__SERVER,s__Server) &
         s__instance(V__REQUESTING,s__Requesting) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         s__patient(V__ACCESSING,V__PAGE)
       &
       s__agent(V__REQUESTING,V__BROWSER)
     &
     s__destination(V__REQUESTING,V__SERVER)
   &
   s__patient(V__REQUESTING,V__PAGE)
&
s__origin(V__TRANSFER,V__SERVER)
&
s__destination(V__TRANSFER,V__BROWSER)
&
s__patient(V__TRANSFER,V__PAGE)
&
s__subProcess(V__TRANSFER,V__ACCESSING)
&
s__subProcess(V__REQUESTING,V__ACCESSING)
&
(s__EndFn(s__WhenFn(V__REQUESTING))
= s__BeginFn(V__INTERVAL))
&
(s__EndFn(s__WhenFn(V__TRANSFER))
= s__EndFn(V__INTERVAL)))
=>
((s__SiteSpeedFn(V__ACCESSING)
= V__INTERVAL)))
)
)

UXExperimentalTerms.kif 3966-3991
( ! [V__System,V__Network,V__Event] :
   ((s__instance(V__Network,s__CorpuscularObject) =>
       (((s__instance(V__System,s__HardwareSystem) &
             s__component(V__Network,V__System)
           &
           s__instance(V__Event,s__DataTransfer) &
           s__origin(V__Event,V__System))
       =>
       ((s__instance(V__Network,s__ComputerNetwork) &
           s__instrument(V__Event,V__Network))))))
)
)

QoSontology.kif 324-332
( ! [V__Transfer] :
   ((s__instance(V__Transfer,s__DataTransfer) =>
       (( ? [V__Origin, V__Destination, V__System, V__Data] :
           ((s__origin(V__Transfer,V__Origin)
             &
             s__destination(V__Transfer,V__Destination)
           &
           s__instrument(V__Transfer,V__System)
         &
         s__patient(V__Transfer,V__Data)
       &
       s__instance(V__Data,s__DigitalData) &
       s__instance(V__System,s__HardwareSystem) &
       s__instance(V__Origin,s__HardwareSystem) &
       s__instance(V__Destination,s__ComputationalSystem))))))
)
)

QoSontology.kif 95-106

consequent
-------------------------


( ! [V__Feedback,V__Send] :
   ((s__instance(V__Send,s__Process) =>
       (((s__instance(V__Feedback,s__Feedback) =>
             ( ? [V__RM, V__Process, V__Program] :
               ((s__instance(V__RM,s__ResourceManagementProgram) &
                   s__instance(V__Process,s__ComputerProcess) &
                   s__instance(V__Program,s__SoftwareSystem) &
                   (s__rMProgramOf(V__RM,V__Program)
                   &
                   s__programRunning(V__Process,V__Program)
                 &
                 s__instance(V__Send,s__DataTransfer) &
                 s__patient(V__Send,V__Feedback)
               &
               s__destination(V__Send,V__RM))))))
   &
   (( ? [V__RM, V__Process, V__Program] :
       ((s__instance(V__RM,s__ResourceManagementProgram) &
           s__instance(V__Process,s__ComputerProcess) &
           s__instance(V__Program,s__SoftwareSystem) &
           (s__rMProgramOf(V__RM,V__Program)
           &
           s__programRunning(V__Process,V__Program)
         &
         s__instance(V__Send,s__DataTransfer) &
         s__patient(V__Send,V__Feedback)
       &
       s__destination(V__Send,V__RM)))))
=>
s__instance(V__Feedback,s__Feedback)))))
)
)

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
( ! [V__COD,V__C] :
   (((s__subclass(V__COD,s__Process) &
         s__instance(V__C,s__Computer))
       =>
       (((s__connectedPeripheral(V__COD,V__C)
           &
           s__instance(V__COD,s__ComputerInputDevice))
         =>
         (s__capability(V__COD,s__origin__m,s__DataTransfer)))))
   )
)

ComputingBrands.kif 3524-3528
( ! [V__COD,V__C] :
   (((s__subclass(V__COD,s__Process) &
         s__instance(V__C,s__Computer))
       =>
       (((s__connectedPeripheral(V__COD,V__C)
           &
           s__instance(V__COD,s__ComputerOutputDevice))
         =>
         (s__capability(V__COD,s__destination__m,s__DataTransfer)))))
   )
)

ComputingBrands.kif 3518-3522
( ! [V__OS,V__X,V__DT] :
   (((s__instance(V__OS,s__Object) &
         s__instance(V__X,s__TimeInterval) &
         s__instance(V__X,s__Object) &
         s__instance(V__DT,s__TimeInterval) &
         s__instance(V__DT,s__Transfer))
       =>
       ((s__attribute(V__X,s__Booting) =>
           (( ? [V__CD] :
               ((s__instance(V__CD,s__DigitalData) &
                   s__instance(V__OS,s__OperatingSystem) &
                   s__instance(V__DT,s__DataTransfer) &
                   s__during(V__DT,V__X)
                 &
                 s__destination(V__DT,V__X)
               &
               s__part(V__CD,V__OS)
             &
             s__objectTransferred(V__DT,V__CD))))))))
)
)

ComputingBrands.kif 3193-3203
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1705-1715
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2221-2230
( ! [V__Sink] :
   ((s__instance(V__Sink,s__DataSink) =>
       (( ? [V__Transfer] :
           ((s__instance(V__Transfer,s__DataTransfer) &
               s__destination(V__Transfer,V__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