| No TPTP formula. May not be expressible in strict first order. | engineering.kif 912-912 | 阀 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 913-913 | 阀 是 流体动力装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1099-1099 | SalineLock 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 957-957 | 方向控制阀 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 966-966 | 压力控制阀 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 976-976 | 音量控制阀 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1546-1546 | BleederValve 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2658-2658 | ExhaustValve 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2683-2683 | IntakeValve 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3255-3255 | ManifoldHeatControlValve 是 阀 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3811-3811 | PositiveCrankcaseVentilationValve 是 阀 的 subclass |
|
|