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