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 |
initiallyContainsPart IDeviceHomeButton and AppleIPad |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3150-3150 |
initiallyContainsPart IDeviceHomeButton and AppleIPhone |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3152-3152 |
initiallyContainsPart IDeviceHomeButton and AppleIPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3135-3135 |
IDeviceHomeButton est une sous-classe de SwitchDevice |