| GearTrain(gear train)
| | epicyclic_gear_train, epicyclic_train, gear, gearing, geartrain, power_train, train |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 759-761 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4699-4699 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 762-762 | Gear train is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 768-768 | A gear train is typically a part of a gearbox |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2251-2251 | Differential is a subclass of gear train |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25622-25622 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25621-25621 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25620-25620 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 763-763 | A gear is typically a part of a gear train |
|
|
|