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 ist eine teilkategorie von EngineeringComponent |
(typicalPart Gear GearTrain) | engineering.kif 763-763 | typicalPart Gear and GearTrain |
appearance as argument number 2 |
(subclass BevelGear Gear) | Cars.kif 1417-1417 | BevelGear ist eine teilkategorie von Gear |
(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 1838-1856 |
|
(=> (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 1817-1836 |
|
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 2257-2265 |
|