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


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 1725-1725
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 91-91 Data transfer is a subclass of computer process

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3482-3482 Backup is a subclass of data transfer
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2673-2673 NetworkCommunication is a subclass of data transfer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3582-3582 Installation is a subclass of data transfer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18598-18598
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18597-18597
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18596-18596

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3963-3988
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 324-332
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 95-106

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


No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3544-3548
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3538-3542
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3209-3219
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1715-1725
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2218-2227
No TPTP formula. May not be expressible in strict first order. 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