No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 179-179 | IOS 9 是 苹果作业系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 703-703 | AppleIPhoneOS901 是 IOS 9 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 709-709 | AppleIPhoneOS93 是 IOS 9 的 subclass |
![]() |