AppleIPodTouch(iPod touch) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 833-833 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 832-832 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 830-831 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 834-835 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 829-829 | IPod touch is a subclass of iPod |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 839-839 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 838-838 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 837-837 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 840-840 |