No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3152-3152 |
initiallyContainsPart IDeviceHomeButton and AppleIPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 868-868 |
AppleIPodClassic e' uma sub-classe de AppleIPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 842-842 |
AppleIPodNano e' uma sub-classe de AppleIPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 855-855 |
AppleIPodShuffle e' uma sub-classe de AppleIPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 829-829 |
AppleIPodTouch e' uma sub-classe de AppleIPod |
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 |
|