No TPTP formula. May not be expressible in strict first order. |
engineering.kif 665-666 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11598-11598 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11599-11599 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11597-11597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10183-10183 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 667-667 |
子類 並聯共振 and 電共振 |