| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6146-6146 | Physical system is a subclass of physical |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3419-3419 | Transit system is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 717-717 | Auto suspension system is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | Automobile is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1230-1230 | Brake system is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1604-1604 | Hydraulic cylinder is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2119-2119 | Engine cooling system is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2589-2589 | Exhaust system is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3256-3256 | Automobile ignition system is a subclass of physical system |
|
|