No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1076-1076 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5985-5985 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6468-6468 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6470-6470 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6467-6467 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6471-6471 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6469-6469 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1078-1078 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1077-1077 |
子類 發射器 and 終奌站 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1079-1079 |
發射器 typically 是 bjt晶體管 的 part |