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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerProcess

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 1887-1887 Abort is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3456-3456 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 4000-4000 DHCP server is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1927-1927 Data compression is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1908-1908 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 3385-3385 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 3755-3755 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 1978-1978 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 1196-1196 UserSignifiedAction is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1962-1962 UsingA resource is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1767-1767 WindowScrolling is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16347-16347
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16346-16346
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16345-16345

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4124-4124 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 1882-1882 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 1894-1894 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 1999-1999 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 1957-1957 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 3461-3475
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3935-3949
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3951-3965
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 1928-1936
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3088-3096
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-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 4310-4321


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