|
|
   GearTrain
|
|
|
| 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 | 子類 齒輪系 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 768-768 | 齒輪系 typically 是 變速器 的 part |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2251-2251 | 子類 Differential and 齒輪系 |
| 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 | 齒輪 typically 是 齒輪系 的 part |
|
|
|
