No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 833-833 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 832-832 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 830-831 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 834-835 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 829-829 |
AppleIPodTouch est une sous-classe de AppleIPod |