Gear
|
|
appearance as argument number 1 |
(documentation Gear EnglishLanguage "a toothed wheel that engages another toothed mechanism in order to change the speed or direction of transmitted motion.") | engineering.kif 755-756 | |
(subclass Gear EngineeringComponent) | engineering.kif 757-757 | Gear e' uma sub-classe de Componente de Engenharia |
(typicalPart Gear GearTrain) | engineering.kif 763-763 | typicalPart Gear and GearTrain |
appearance as argument number 2 |
(subclass BevelGear Gear) | Cars.kif 1417-1417 | BevelGear e' uma sub-classe de Gear |
(termFormat ChineseLanguage Gear "齿轮") | domainEnglishFormat.kif 25610-25610 | |
(termFormat ChineseTraditionalLanguage Gear "齒輪") | domainEnglishFormat.kif 25609-25609 | |
(termFormat EnglishLanguage Gear "gear") | domainEnglishFormat.kif 25608-25608 |
antecedent |
consequent |
(=> (instance ?D Differential) (exists (?G1 ?G2) (and (instance ?G1 Gear) (instance ?G2 Gear) (part ?G1 ?D) (part ?G2 ?D) (orientation ?G1 ?G2 RightAngle)))) |
Cars.kif 2240-2248 |