No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 713-713 |
deviceOS AppleIPhone8 and IOS 11 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 714-714 |
deviceOS AppleIPhone8plus and IOS 11 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 717-717 |
子類 AppleIPhoneOS111 and IOS 11 |
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 |
|