No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 210-210 |
AppleMacOSSystem1 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 211-211 |
AppleMacOSSystem2 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 212-212 |
AppleMacOSSystem3 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 213-213 |
AppleMacOSSystem4 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 215-215 |
AppleMacOSSystem5 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 222-222 |
AppleMacOSSystem6 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 228-228 |
AppleMacOSSystem7 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 238-238 |
AppleMacOSSystem8 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 239-239 |
AppleMacOSSystem9 est une sous-classe de AppleMacOS |
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 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 249-249 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 248-248 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 251-251 |
|