No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 210-210 |
AppleMacOSSystem1 是 Mac OS 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 211-211 |
AppleMacOSSystem2 是 Mac OS 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 212-212 |
AppleMacOSSystem3 是 Mac OS 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 213-213 |
AppleMacOSSystem4 是 Mac OS 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 215-215 |
AppleMacOSSystem5 是 Mac OS 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 222-222 |
AppleMacOSSystem6 是 Mac OS 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 228-228 |
AppleMacOSSystem7 是 Mac OS 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 238-238 |
AppleMacOSSystem8 是 Mac OS 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 239-239 |
AppleMacOSSystem9 是 Mac OS 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 253-253 |
AppleMacOSX 是 Mac OS 的 subclass |
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 |
|