No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 218-218 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 217-217 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 216-216 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 219-219 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 215-215 |
AppleMacOSSystem5 e' uma sub-classe de AppleMacOS |