No TPTP formula. May not be expressible in strict first order. |
engineering.kif 513-513 |
跨变量累加器 是 纯双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 509-509 |
消减器 是 纯双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 531-531 |
电气双极 是 纯双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 501-501 |
理想的开关 是 纯双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 506-506 |
理想的双极 是 纯双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 520-520 |
资源 是 纯双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 517-517 |
通过变量累加器 是 纯双极 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 569-569 |
翻译双极 是 纯双极 的 subclass |
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 |
|