No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3152-3152 |
Instance of home button are always initially part of instances of iPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 868-868 |
IPod classic 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 829-829 |
IPod touch is a subclass of 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 |
|