No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 179-179 | IOS 9 is a subclass of IOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 703-703 | Apple i phone oS901 is a subclass of IOS 9 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 709-709 | Apple i phone oS93 is a subclass of IOS 9 |