No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1007-1008 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6812-6812 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7706-7706 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7707-7707 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7703-7703 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7704-7704 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7708-7708 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7709-7709 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1009-1009 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1010-1010 |
子類 整流器 and 電路 |