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 |
IMessage e' uma sub-classe de Programa de Computador |