No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 244-244 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 242-243 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 240-241 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 245-246 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 239-239 |
AppleMacOSSystem9 est une sous-classe de AppleMacOS |