No TPTP formula. May not be expressible in strict first order. | Merge.kif 6121-6121 | 子類 物理系統 and Physical |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2821-2821 | 子類 運輸系統 and 物理系統 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 717-717 | 子類 AutoSuspensionSystem and 物理系統 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | 子類 汽車 and 物理系統 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1230-1230 | 子類 BrakeSystem and 物理系統 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1603-1603 | 子類 HydraulicCylinder and 物理系統 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2141-2141 | 子類 EngineCoolingSystem and 物理系統 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2611-2611 | 子類 AutomobileExhaustSystem and 物理系統 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3203-3203 | 子類 AutomobileIgnitionSystem and 物理系統 |