AppleIPodShuffle(iPod shuffle) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 859-859 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 858-858 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 856-857 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 860-861 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 855-855 | 子類 iPod shuffle and iPod |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 865-865 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 864-864 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 863-863 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 866-866 |
![]() |
![]() |