| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 864-864 |
子類 電容器 and 電氣元件 |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 825-825 |
子類 ElectricalConductor and 電氣元件 |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 868-868 |
子類 感應器 and 電氣元件 |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 748-748 |
子類 中繼 and 電氣元件 |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 854-854 |
子類 電阻元件 and 電氣元件 |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1039-1039 |
子類 半導體元件 and 電氣元件 |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 434-434 |
子類 SparkPlug and 電氣元件 |
| No TPTP formula. May not be expressible in strict first order. |
engineering.kif 821-821 |
子類 終奌站 and 電氣元件 |
| 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 |
|
