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 | |
(typicalPart Gear GearTrain) | engineering.kif 763-763 |
appearance as argument number 2 |
(subclass BevelGear Gear) | Cars.kif 1417-1417 | |
(termFormat ChineseLanguage Gear "齿轮") | domainEnglishFormat.kif 25610-25610 | |
(termFormat ChineseTraditionalLanguage Gear "齒輪") | domainEnglishFormat.kif 25609-25609 | |
(termFormat EnglishLanguage Gear "gear") | domainEnglishFormat.kif 25608-25608 |
antecedent |
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOff)) (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2)))) |
Cars.kif 1821-1839 | |
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOn)) (not (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2))))) |
Cars.kif 1800-1819 |
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 |