| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 153-153 | ComputerProcess e' uma sub-classe de Mudanca Interna |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | DataTransfer e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 109-109 | DeletingData e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 132-132 | RestoringData e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 883-883 | MeasuringPerformance e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1730-1730 | UserRequest e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1741-1741 | ComputerResponse e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1779-1779 | Multitasking e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1794-1794 | ComputerTask e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1882-1882 | Abort e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1903-1903 | DataSaving e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1922-1922 | DataCompression e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1957-1957 | UsingAResource e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1973-1973 | ReusingAResource e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3419-3419 | Jailbreaking e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3491-3491 | ComputerBackingUp e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3792-3792 | MountingADevice e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4037-4037 | DHCPServer e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1199-1199 | UserSignifiedAction e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1770-1770 | WindowScrolling e' uma sub-classe de ComputerProcess |
|
|