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 152-153
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 151-151 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 1888-1888 Abort is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3484-3484 Backup is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1746-1746 Computer response is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1799-1799 Computer task is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3978-3978 DHCP server is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1928-1928 Data compression is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1909-1909 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 DeletingData is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3409-3409 Cracking is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 881-881 Measuring performance is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3783-3783 Mounting is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1784-1784 Multitasking is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 131-131 Restore is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1979-1979 ReusingA resource is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1735-1735 User request is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1226-1226 UserSignifiedAction is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1963-1963 UsingA resource is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1785-1785 WindowScrolling is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16354-16354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16353-16353
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16352-16352

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4102-4102 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 200-200 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 1883-1883 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 1895-1895 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 774-774 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 206-206 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 2000-2000 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 532-532 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 501-501 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 515-515 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 571-571 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 796-796 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 1958-1958 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 297-305
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 425-436
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 385-396
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 658-668
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1275-1289
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1259-1273
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 155-162

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3489-3503
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3913-3927
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3929-3943
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 425-436
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 385-396
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1942-1950
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3095-3103
No TPTP formula. May not be expressible in strict first order. Cars.kif 3196-3207
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 112-128
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 134-149
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4288-4299


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