No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 253-253 | AppleMacOSX e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 274-274 | MacOSXPublicBeta e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 294-294 | MacOSX10_0 e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 315-315 | MacOSX10_1 e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 336-336 | MacOSX10_2 e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 357-357 | MacOSXPanther e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 378-378 | MacOSXTiger e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 399-399 | MacOSXLeopard e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 421-421 | MacOSXSnowLeopard e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 443-443 | MacOSXLion e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 464-464 | MacOSXMountainLion e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 482-482 | MacOSXMavericks e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 504-504 | MacOSXYosemite e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 525-525 | MacOSXElCapitan e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 546-546 | MacOSSierra e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 568-568 | MacOSHighSierra e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 589-589 | MacOSMojave e' uma sub-classe de AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 610-610 | MacOSCatalina e' uma sub-classe de AppleMacOSX |