Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   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 841-842 | |
| (subclass Gear EngineeringComponent) | engineering.kif 843-843 | Gear is a subclass of engineering component |
| (typicalPart Gear GearTrain) | engineering.kif 975-975 | A gear is typically a part of a gear train |
| appearance as argument number 2 |
|
|
| (subclass BevelGear Gear) | Cars.kif 1331-1331 | Bevel gear is a subclass of gear |
| (termFormat EnglishLanguage Gear "gear") | domainEnglishFormat.kif 25612-25612 | Bevel gear is a subclass of gear |
| (termFormat ChineseTraditionalLanguage Gear "齒輪") | domainEnglishFormat.kif 25613-25613 | Bevel gear is a subclass of gear |
| (termFormat ChineseLanguage Gear "齿轮") | domainEnglishFormat.kif 25614-25614 | Bevel gear is a subclass of gear |
| (subclass SpurGear Gear) | engineering.kif 845-845 | Spur gear is a subclass of gear |
| (subclass ExternalGear Gear) | engineering.kif 854-854 | External gear is a subclass of gear |
| (subclass InternalGear Gear) | engineering.kif 874-874 | Internal gear is a subclass of gear |
| (typicalPart GearTooth Gear) | engineering.kif 904-904 | A gear tooth is typically a part of a gear |
| appearance as argument number 3 |
|
|
| (domain gearToothCount 1 Gear) | engineering.kif 923-923 | The number 1 argument of gear tooth count is an instance of gear |
| (domain gearRatio 1 Gear) | engineering.kif 948-948 | The number 1 argument of gear ratio is an instance of gear |
| (domain gearRatio 2 Gear) | engineering.kif 949-949 | The number 2 argument of gear ratio is an instance of gear |
| 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 DeviceOn)) (not (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2))))) |
Cars.kif 1681-1700 | If All of the following hold: (1) X is an instance of clutch (2) Y is an instance of automobile (3) Z is an instance of engine (4) W is an instance of gearbox (5) V is an instance of gear (6) V is a part of W (7) W is a part of Y (8) X is a part of Y (9) Z is a part of Y (10) U is an instance of motion (11) Z is a patient of U (12) device on is an attribute of X, then there doesn't exist T such that T is an instance of motion, W is a patient of T, and U causes T |
| (=> (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 1702-1720 | If All of the following hold: (1) X is an instance of clutch (2) Y is an instance of automobile (3) Z is an instance of engine (4) W is an instance of gearbox (5) V is an instance of gear (6) V is a part of W (7) W is a part of Y (8) X is a part of Y (9) Z is a part of Y (10) U is an instance of motion (11) Z is a patient of U (12) device off is an attribute of X, then there exists T such that T is an instance of motion, W is a patient of T, and U causes T |
| (=> (and (instance ?AT AutomobileTransmission) (instance ?C Crankshaft) (instance ?D Driveshaft) (instance ?A Automobile) (part ?D ?A) (part ?AT ?A) (part ?C ?A) (connectedEngineeringComponents ?C ?AT) (connectedEngineeringComponents ?D ?AT) (instance ?G1 Gear) (instance ?G2 Gear) (part ?G1 ?AT) (part ?G2 ?AT) (instance ?CR1 Rotating) (instance ?CR2 Rotating) (instance ?GR1 Rotating) (instance ?GR2 Rotating) (instance ?DR1 Rotating) (instance ?DR2 Rotating) (moves ?CR1 ?C) (moves ?CR2 ?C) (moves ?GR1 ?G1) (moves ?GR2 ?G2) (moves ?DR1 ?D) (moves ?DR2 ?D) (causes ?CR1 ?GR1) (causes ?GR1 ?DR1) (causes ?CR2 ?GR2) (causes ?GR2 ?DR2) (not (equal ?CR1 ?CR2)) (not (equal ?G1 ?G2)) (equal (MeasureFn ?NR1 RevolutionsPerMinute) (RotationFn ?CR1)) (equal (MeasureFn ?NR2 RevolutionsPerMinute) (RotationFn ?CR2)) (equal (MeasureFn ?ND1 RevolutionsPerMinute) (RotationFn ?DR1)) (equal (MeasureFn ?ND2 RevolutionsPerMinute) (RotationFn ?DR2)) (equal ?NR1 ?NR2)) (not (equal ?ND1 ?ND2))) |
Cars.kif 2195-2236 | If All of the following hold: (1) X is an instance of transmission (2) Y is an instance of crankshaft (3) Z is an instance of driveshaft (4) W is an instance of automobile (5) Z is a part of W (6) X is a part of W (7) Y is a part of W (8) Y is connected to X (9) Z is connected to X (10) V is an instance of gear (11) U is an instance of gear (12) V is a part of X (13) U is a part of X (14) T is an instance of rotating (15) S is an instance of rotating (16) R is an instance of rotating (17) Q is an instance of rotating (18) P is an instance of rotating (19) O is an instance of rotating (20) Y moves during T (21) Y moves during S (22) V moves during R (23) U moves during Q (24) Z moves during P (25) Z moves during O (26) T causes R (27) R causes P (28) S causes Q (29) Q causes O (30) equal T and S (31) equal V and U (32) equal N revolutions per minute(s) and the rotation of T during (33) equal M revolutions per minute(s) and the rotation of S during (34) equal L revolutions per minute(s) and the rotation of P during (35) equal K revolutions per minute(s) and the rotation of O during (36) equal N and M, then equal L and K |
| (=> (and (instance ?G Gear) (superficialPart ?SG ?G) (instance ?T GearTooth) (part ?T ?G) (surface ?ST ?T)) (part ?ST ?SG)) |
engineering.kif 909-916 | If X is an instance of gear, Y is a superficial part of X, Z is an instance of gear tooth, Z is a part of X, and W is a surface of Z, then W is a part of Y |
| (=> (and (instance ?G Gear) (part ?T ?G) (instance ?T GearTooth) (gearToothCount ?G ?I)) (exists (?C) (and (instance ?C CollectionOfObjects) (member ?T ?C) (memberCount ?C ?I)))) |
engineering.kif 926-936 | If X is an instance of gear, Y is a part of X, Y is an instance of gear tooth, and there are Z number of GearTooth in X, then there exists W such that W is an instance of collection, Y is a member of W, and Z is a member count of W |
| 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 2106-2114 | If X is an instance of differential, then there exist Y, Z such that Y is an instance of gear, Z is an instance of gear, Y is a part of X, Z is a part of X, and Y is at a right angle to to Z |
|