No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1000-1000 |
反相放大器 是 放大器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1005-1005 |
同相放大器 是 放大器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7296-7296 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7295-7295 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7294-7294 |
|