No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 179-179 | 子類 IOS 9 and 蘋果作業系統 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 703-703 | 子類 AppleIPhoneOS901 and IOS 9 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 709-709 | 子類 AppleIPhoneOS93 and IOS 9 |
![]() |