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 est une sous-classe de AppleIPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 842-842 |
AppleIPodNano est une sous-classe de AppleIPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 855-855 |
AppleIPodShuffle est une sous-classe de AppleIPod |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 829-829 |
AppleIPodTouch est une sous-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 |
|