No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 816-816 | IPod is a subclass of Apple Computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 817-817 | IPod is a subclass of media system |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 829-829 | IPod touch is a subclass of iPod |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 842-842 | IPod nano is a subclass of iPod |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 855-855 | IPod shuffle is a subclass of iPod |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 868-868 | IPod classic is a subclass of iPod |