Gear(gear) | ![]() | cogwheel, gear, gear_wheel, geared_wheel, reduction_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 754-755 | |
(subclass Gear EngineeringComponent) | engineering.kif 756-756 | Gear is a subclass of engineering component |
(typicalPart Gear GearTrain) | engineering.kif 888-888 | A gear is typically a part of a gear train |
appearance as argument number 2 |
![]() |
(subclass BevelGear Gear) | Cars.kif 1417-1417 | Bevel gear is a subclass of gear |
(subclass ExternalGear Gear) | engineering.kif 767-767 | External gear is a subclass of gear |
(subclass InternalGear Gear) | engineering.kif 787-787 | Internal gear is a subclass of gear |
(subclass SpurGear Gear) | engineering.kif 758-758 | Spur gear is a subclass of gear |
(termFormat ChineseLanguage Gear "齿轮") | domainEnglishFormat.kif 25638-25638 | Spur gear is a subclass of gear |
(termFormat ChineseTraditionalLanguage Gear "齒輪") | domainEnglishFormat.kif 25637-25637 | Spur gear is a subclass of gear |
(termFormat EnglishLanguage Gear "gear") | domainEnglishFormat.kif 25636-25636 | Spur gear is a subclass of gear |
(typicalPart GearTooth Gear) | engineering.kif 817-817 | A gear tooth is typically a part of a gear |
appearance as argument number 3 |
![]() |
(domain gearRatio 1 Gear) | engineering.kif 861-861 | The number 1 argument of gear ratio is an instance of gear |
(domain gearRatio 2 Gear) | engineering.kif 862-862 | The number 2 argument of gear ratio is an instance of gear |
(domain gearToothCount 1 Gear) | engineering.kif 836-836 | The number 1 argument of gear tooth count is an instance of gear |
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 2241-2249 |
|
![]() |
![]() |