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 2234-2234 | 子類 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 |