| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6121-6121 | 物理系统 是 物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2821-2821 | 运输系统 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 717-717 | AutoSuspensionSystem 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | 汽车 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1230-1230 | BrakeSystem 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1598-1598 | HydraulicCylinder 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2135-2135 | EngineCoolingSystem 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2605-2605 | AutomobileExhaustSystem 是 物理系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3195-3195 | AutomobileIgnitionSystem 是 物理系统 的 subclass |
|
|