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 est une sous-classe de composant d'un appareil |
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 2234-2234 | Differential est une sous-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 |