TreeView Knowledge Base Browser - DataTransfer

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

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 92-93
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1724-1724
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 91-91	数据传输是电脑程序的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3489-3489	ComputerBackingUp 是数据传输的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2659-2659	NetworkCommunication 是数据传输的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3591-3591	安装是数据传输的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18600-18600
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18599-18599
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18598-18598

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	如果 AccessingWebPage 是 AccessingWebPage 的 instance 和实体是 WebPage 的 instance 和过程是数据传输的 instance 和客体是服务器的 instance 和另一个过程是要求的 instance 和施事体是 WebBrowser 的 instance 和时距是时距的 instance 和那个实体是那个 AccessingWebPage 的 patient 和那个施事体是那个另外过程的 agent 和那个另外过程在那个客体结束和那个实体是那个另外过程的 patient 和那个客体是那个过程的源头和那个过程在那个施事体结束和那个实体是那个过程的 patient 和那个过程%n是那个 AccessingWebPage的subProcess 和那个另外过程%n是那个 AccessingWebPage的subProcess 和那个另外过程出现的 time 的结束 equal 那个时距的开始和那个过程出现的 time 的结束 equal 那个时距的结束，然后 access 的时间在那个 AccessingWebPage equal 那个时距
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 326-334	如果躯体性物体是硬件系统的 instance 和另一个躯体性物体是那个躯体性物体的 component 和过程是数据传输的 instance 和那个躯体性物体是那个过程的源头，然后那个另外躯体性物体是计算机网络的 instance 和那个另外躯体性物体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 95-106	如果过程是数据传输的 instance，然后有存在客体，实体,，，另一个客体， and 和另一个实体这样那个客体是那个过程的源头和那个过程在那个实体结束和那个另外客体是导致那个过程的 instrument 和那个另外实体是那个过程的 patient 和那个另外实体是数字数据的 instance 和那个另外客体是硬件系统的 instance 和那个客体是硬件系统的 instance 和那个实体是计算系统的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3552-3557	如果 connectedPeripheral 电脑硬件 and 电脑和那个电脑硬件是电脑输入设备的 instance 和那个电脑硬件是那个电脑LASS 的 instance，然后数据传输能够担当源头的角色做那个电脑LASS
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3545-3550	如果 connectedPeripheral 电脑硬件 and 电脑和那个电脑硬件是电脑输出设备的 instance 和那个电脑硬件是那个电脑LASS 的 instance，然后数据传输能够担当终点的角色做那个电脑LASS
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3217-3229	如果物理有啟動中的 attribute 和那个物理是电脑的 instance，然后有存在客体，另一个客体， and 和转移这样那个客体是数字数据的 instance 和那个另外客体是操作系统的 instance 和那个转移是数据传输的 instance 和那个转移出现的 time 在那个物理出现的 time 时段内发生和那个转移在那个物理结束和那个客体是那个另外客体的 part 和 objectTransferred 那个转移 and 那个客体
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1736-1746	如果物理是电脑协定的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是电脑程序的 instance 和那个另外实体是电脑程序的 instance 和那个第三实体是数据传输的 instance 和那个实体是那个第三实体的源头和那个第三实体在那个另外实体结束和那个物理表达那个第三实体
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 676-684	如果实体是反馈的 instance，然后有存在资源管理计划，电脑程序,，，软件系统， and 和过程这样那个软件系统是那个资源管理计划的 rM program-of 和那个软件系统是那个电脑程序的执行 program 和那个过程是数据传输的 instance 和那个实体是那个过程的 patient 和那个过程在那个资源管理计划结束
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2012-2021	如果物理是 WebPageModule 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和那个物理_SERVER 这样那个实体是数据传输的 instance 和那个物理_SERVER 是 PageModuleServer 的 instance 和那个另外实体是那个物理_SERVER 的 instance 和那个物理_SERVER 是那个实体的源头和那个实体在那个物理结束
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1712-1717	如果实体是数据汇的 instance，然后有存在过程这样那个过程是数据传输的 instance 和那个过程在那个实体结束

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

Show without tree

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