| No TPTP formula. May not be expressible in strict first order. | engineering.kif 912-912 | 子類 閥 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 913-913 | 子類 閥 and 流體動力裝置 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1099-1099 | 子類 SalineLock and 閥 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 957-957 | 子類 方向控制閥 and 閥 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 966-966 | 子類 壓力控制閥 and 閥 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 976-976 | 子類 音量控制閥 and 閥 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1551-1551 | 子類 BleederValve and 閥 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2664-2664 | 子類 ExhaustValve and 閥 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2689-2689 | 子類 IntakeValve and 閥 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3263-3263 | 子類 ManifoldHeatControlValve and 閥 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3819-3819 | 子類 PositiveCrankcaseVentilationValve and 閥 |
|
|