No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 191-191 | IOS 11 is a subclass of IOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 717-717 | Apple i phone oS111 is a subclass of IOS 11 |