| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 253-253 | AppleMacOSX est une sous-classe de AppleMacOS |
| 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 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 357-357 | MacOSXPanther 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 399-399 | MacOSXLeopard 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 443-443 | MacOSXLion 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 482-482 | MacOSXMavericks 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. | ComputingBrands.kif 525-525 | MacOSXElCapitan 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 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 610-610 | MacOSCatalina est une sous-classe de AppleMacOSX |
|
|