| No TPTP formula. May not be expressible in strict first order. | engineering.kif 730-730 | Mechanical device is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 740-740 | Motor is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 751-751 | Pendulum is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 755-755 | Gear is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 760-760 | Gear train is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 765-765 | Gearbox is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 769-769 | Shaft is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 774-774 | Spring is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 776-776 | Rotor is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 787-787 | Stator is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 904-904 | Fluid cylinder is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 910-910 | Valve is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 930-930 | Faucet is a subclass of mechanical device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 770-770 | Damper is a subclass of mechanical device |
|
|