| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5824-5824 | Physical system is a subclass of physical |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2828-2828 | 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 1244-1244 | Brake system is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1612-1612 | Hydraulic cylinder is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2149-2149 | Engine cooling system is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2619-2619 | Exhaust system is a subclass of physical system |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3209-3209 | Automobile ignition system is a subclass of physical system |
|
|