No TPTP formula. May not be expressible in strict first order. | Merge.kif 6121-6121 | Physical system is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2821-2821 | 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 1598-1598 | Hydraulic cylinder is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2135-2135 | Engine cooling system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2605-2605 | Exhaust system is a subclass of physical system |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3195-3195 | Automobile ignition system is a subclass of physical system |