No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 846-846 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 845-845 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 843-844 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 847-848 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 842-842 |
AppleIPodNano est une sous-classe de AppleIPod |