| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 864-864 |
电容器 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 825-825 |
ElectricalConductor 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 868-868 |
感应器 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 748-748 |
中继 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 854-854 |
电阻元件 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1039-1039 |
半导体元件 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 434-434 |
SparkPlug 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 821-821 |
终奌站 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21474-21474 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21473-21473 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21472-21472 |
|
Illuminated