No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 776-776 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 775-775 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 773-774 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 777-778 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 771-771 |
Macbook Pro 是 AppleComputer 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 772-772 |
Macbook Pro 是 Laptop 的 subclass |