No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 191-191 | AppleIPhoneOS11 e' uma sub-classe de AppleIOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 717-717 | AppleIPhoneOS111 e' uma sub-classe de AppleIPhoneOS11 |
![]() |