No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3140-3140 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3139-3139 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3136-3138 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3141-3143 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3151-3151 |
Instance of home button are always initially part of instances of iPad |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3150-3150 |
Instance of home button are always initially part of instances of iPhone |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3152-3152 |
Instance of home button are always initially part of instances of iPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3135-3135 |
Home button is a subclass of switch device |