No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 713-713 |
deviceOS AppleIPhone8 and AppleIPhoneOS11 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 714-714 |
deviceOS AppleIPhone8plus and AppleIPhoneOS11 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 717-717 |
AppleIPhoneOS111 e' uma sub-classe de AppleIPhoneOS11 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 194-194 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 193-193 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 192-192 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 195-195 |
|