No TPTP formula. May not be expressible in strict first order. |
engineering.kif 513-513 |
子類 跨變量累加器 and 純雙極 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 509-509 |
子類 消減器 and 純雙極 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 531-531 |
子類 電氣雙極 and 純雙極 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 501-501 |
子類 理想的開關 and 純雙極 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 506-506 |
子類 理想的雙極 and 純雙極 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 520-520 |
子類 資源 and 純雙極 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 517-517 |
子類 通過變量累加器 and 純雙極 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 569-569 |
子類 翻譯雙極 and 純雙極 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48182-48182 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48181-48181 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48180-48180 |
|