No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4510-4513 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4514-4514 |
域子類 FailureFn, 1 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4509-4509 |
例 FailureFn and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4515-4515 |
範圍子類 FailureFn and Process |