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 3457-3457 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 4001-4001 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 3386-3386 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 3756-3756 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 1799-1799 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 4125-4125 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 3462-3476
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3936-3950
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3952-3966
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 1929-1937
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3089-3097
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 4311-4322


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