No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3492-3493 |
|
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 3490-3490 |
ComputerBackingUp e' uma sub-classe de Copying |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3489-3489 |
ComputerBackingUp e' uma sub-classe de DataTransfer |