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. | engineering.kif 1068-1068 | 基础 是 终奌站 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1073-1073 | 收集家 是 终奌站 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1077-1077 | 发射器 是 终奌站 的 subclass |