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. | engineering.kif 1068-1068 | 子類 基礎 and 終奌站 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1073-1073 | 子類 收集家 and 終奌站 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1077-1077 | 子類 發射器 and 終奌站 |