Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerProcess
ComputerProcess(computer process)
fragmentation, interrupt, swap, terminal_emulation, thrash

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 154-155
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1708-1708
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 153-153 Computer process is a subclass of internal change

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1882-1882 Abort is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3489-3489 Backup is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1741-1741 Computer response is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1794-1794 Computer task is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4035-4035 DHCP server is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1922-1922 Data compression is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1903-1903 Data saving is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 91-91 Data transfer is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 109-109 Deleting data is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3417-3417 Cracking is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 883-883 Measuring performance is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3790-3790 Mounting is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1779-1779 Multitasking is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 132-132 Restore is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1973-1973 Reusing a resource is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1730-1730 User request is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1199-1199 User signified action is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1957-1957 UsingA resource is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1770-1770 Window scrolling is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16342-16342
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16341-16341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16340-16340

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4159-4159 The number 1 argument of account used is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 202-202 The number 1 argument of computer running is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1877-1877 The number 1 argument of data processed is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1889-1889 The number 2 argument of process aborted is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 776-776 The number 1 argument of processID is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 208-208 The number 1 argument of program running is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1994-1994 The number 1 argument of resource used is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 534-534 The number 1 argument of standard error device is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 503-503 The number 1 argument of standard input device is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 517-517 The number 1 argument of standard output device is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 573-573 The number 1 argument of state of process is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 798-798 The number 1 argument of status is an instance of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1952-1952 The number 1 argument of task is an instance of computer process

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 299-307
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 427-438
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 387-398
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 660-670
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1270-1284
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1254-1268
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 157-164

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3494-3508
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3970-3984
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3986-4000
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 427-438
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 387-398
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1960-1968
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3120-3128
No TPTP formula. May not be expressible in strict first order. Cars.kif 3182-3193
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 112-129
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 135-151
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4345-4356


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