| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 153-153 | Computer process is a subclass of internal change |
| 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. | QoSontology.kif 132-132 | Restore 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. | QoSontology.kif 1730-1730 | User request 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 1779-1779 | Multitasking 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. | QoSontology.kif 1882-1882 | Abort 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 1922-1922 | Data compression 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. | QoSontology.kif 1973-1973 | ReusingA resource is a subclass of computer process |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3419-3419 | Cracking is a subclass of computer process |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3491-3491 | Backup is a subclass of computer process |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3792-3792 | Mounting is a subclass of computer process |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4037-4037 | DHCP server 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. | ComputerInput.kif 1770-1770 | Window scrolling is a subclass of computer process |
|
|