No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1093-1094 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9438-9438 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9439-9439 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8602-8602 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9440-9440 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9436-9436 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9441-9441 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9437-9437 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1095-1095 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1096-1096 |
子類 mosfet晶體管 and fet 晶體管 |