| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 816-816 | AppleIPod e' uma sub-classe de AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 817-817 | AppleIPod e' uma sub-classe de MediaSystem |
| 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 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 868-868 | AppleIPodClassic e' uma sub-classe de AppleIPod |
|
|