No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3352-3354 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3347-3350 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3341-3345 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3356-3357 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3339-3339 |
ICloud 是 ComputerSystem 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3359-3359 |
ICloud 是由 苹果 managed |