No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 931-933 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 928-930 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 923-927 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 934-938 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 917-917 |
AppleFaceTime e' uma sub-classe de Programa de Computador |