|
|
   ComputerProcess
|
|
|
| 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 1707-1707 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 153-153 | ComputerProcess est une sous-classe de changement interne |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1882-1882 | Abort est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3491-3491 | ComputerBackingUp est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1741-1741 | ComputerResponse est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1794-1794 | ComputerTask est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4037-4037 | DHCPServer est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1922-1922 | DataCompression est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1903-1903 | DataSaving est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | DataTransfer est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 109-109 | DeletingData est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3419-3419 | Jailbreaking est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 883-883 | MeasuringPerformance est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3792-3792 | MountingADevice est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1779-1779 | Multitasking est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 132-132 | RestoringData est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1973-1973 | ReusingAResource est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1730-1730 | UserRequest est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1199-1199 | UserSignifiedAction est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1957-1957 | UsingAResource est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1770-1770 | WindowScrolling est une sous-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16356-16356 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16355-16355 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16354-16354 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4161-4161 | Le nombre 1 argument de accountUsed est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 202-202 | Le nombre 1 argument de computerRunning est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1877-1877 | Le nombre 1 argument de dataProcessed est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1889-1889 | Le nombre 2 argument de processAborted est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 776-776 | Le nombre 1 argument de processID est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 208-208 | Le nombre 1 argument de programRunning est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1994-1994 | Le nombre 1 argument de resourceUsed est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 534-534 | Le nombre 1 argument de standardErrorDevice est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 503-503 | Le nombre 1 argument de standardInputDevice est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 517-517 | Le nombre 1 argument de standardOutputDevice est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 573-573 | Le nombre 1 argument de stateOfProcess est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 798-798 | Le nombre 1 argument de status est une instance de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1952-1952 | Le nombre 1 argument de task est une instance de ComputerProcess |
| antecedent |
|
|
| consequent |
|
|
|
|
|
