No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3152-3152 |
主页按钮 的例子总是 iPod 的 initially part 的例子 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 868-868 |
IPod classic 是 iPod 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 842-842 |
IPod nano 是 iPod 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 855-855 |
IPod shuffle 是 iPod 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 829-829 |
IPod touch 是 iPod 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 826-826 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 825-825 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 824-824 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 827-827 |
|