No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1083-1083 |
子類 bjt晶體管 and 晶體管 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1087-1087 |
子類 fet 晶體管 and 晶體管 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58844-58844 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58843-58843 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58842-58842 |
|