No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1057-1057 |
LED 是 二极管 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1052-1052 |
齐纳二极管 是 二极管 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19578-19578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19577-19577 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19576-19576 |
|