No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 233-234 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 231-232 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 229-230 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 235-236 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 228-228 |
AppleMacOSSystem7 est une sous-classe de AppleMacOS |