No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3368-3369 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3366-3367 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3363-3365 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3370-3371 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3361-3361 |
I-message is a subclass of computer program |