| 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 | |
| (typicalPart Gear GearTrain) | engineering.kif 888-888 |
| appearance as argument number 2 |
|
|
| (subclass BevelGear Gear) | Cars.kif 1417-1417 | |
| (subclass ExternalGear Gear) | engineering.kif 767-767 | |
| (subclass InternalGear Gear) | engineering.kif 787-787 | |
| (subclass SpurGear Gear) | engineering.kif 758-758 | |
| (termFormat ChineseLanguage Gear "齿轮") | domainEnglishFormat.kif 25621-25621 | |
| (termFormat ChineseTraditionalLanguage Gear "齒輪") | domainEnglishFormat.kif 25620-25620 | |
| (termFormat EnglishLanguage Gear "gear") | domainEnglishFormat.kif 25619-25619 | |
| (typicalPart GearTooth Gear) | engineering.kif 817-817 |
| appearance as argument number 3 |
|
|
| (domain gearRatio 1 Gear) | engineering.kif 861-861 | |
| (domain gearRatio 2 Gear) | engineering.kif 862-862 | |
| (domain gearToothCount 1 Gear) | engineering.kif 836-836 |
| 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 1822-1840 | |
| (=> (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 1801-1820 | |
| (=> (and (instance ?G Gear) (part ?T ?G) (instance ?T GearTooth) (gearToothCount ?G ?I)) (exists (?C) (and (instance ?C Collection) (member ?T ?C) (memberCount ?C ?I)))) |
engineering.kif 839-849 | |
| (=> (and (instance ?G Gear) (superficialPart ?SG ?G) (instance ?T GearTooth) (part ?T ?G) (surface ?ST ?T)) (part ?ST ?SG)) |
engineering.kif 822-829 |
| 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 |
|
|
|