| Gearbox
| |
| appearance as argument number 1 |
|
|
| (documentation Gearbox EnglishLanguage "A device composed of several gear_trains used to change speed and torque of transmitted motion.") | engineering.kif 890-891 | |
| (externalImage Gearbox "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Helicopter_Bristol_171_Sycamore_main_gear_box_and_rotor_head.jpg") | pictureList.kif 1777-1777 | |
| (subclass Gearbox EngineeringComponent) | engineering.kif 892-892 |
| appearance as argument number 2 |
|
|
| (subclass AutomobileTransmission Gearbox) | Cars.kif 2323-2323 | |
| (subclass SteeringBox Gearbox) | Cars.kif 4024-4024 | |
| (termFormat ChineseLanguage Gearbox "变速器") | domainEnglishFormat.kif 25627-25627 | |
| (termFormat ChineseTraditionalLanguage Gearbox "變速器") | domainEnglishFormat.kif 25626-25626 | |
| (termFormat EnglishLanguage Gearbox "gearbox") | domainEnglishFormat.kif 25625-25625 | |
| (typicalPart GearTrain Gearbox) | engineering.kif 893-893 |
| 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 |
|
|
|