| 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 | GearTrain e' uma sub-classe de Componente de Engenharia |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 768-768 | typicalPart GearTrain and Gearbox |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2257-2257 | Differential e' uma sub-classe de GearTrain |
| 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 | typicalPart Gear and GearTrain |
|
|
|