| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2519-2519 | 子類 過濾 and Device |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1363-1363 | 子類 絕對過濾器 and 過濾 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 917-917 | 子類 FuelFilter and 過濾 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 938-938 | 子類 AirFilter and 過濾 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1689-1689 | 子類 CharcoalFilter and 過濾 |
|
|