No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 617-617 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 616-616 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 614-615 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 618-619 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 613-613 |
子類 iPad and AppleComputer |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 612-612 |
子類 iPad and TabletComputer |