No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 610-610 |
MacOSCatalina 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 546-546 |
MacOSSierra 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 525-525 |
MacOSXElCapitan 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 443-443 |
MacOSXLion 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 464-464 |
MacOSXMountainLion 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 274-274 |
MacOSXPublicBeta 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 378-378 |
MacOSXTiger 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. |
domainEnglishFormat.kif 64470-64470 |
|