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 and iPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 842-842 |
子類 iPod nano and iPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 855-855 |
子類 iPod shuffle and iPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 829-829 |
子類 iPod touch and iPod |
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 |
|