AutomobileTransmission - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AutomobileTransmission Gearbox)	Cars.kif 2188-2188	Transmission is a subclass of gearbox
(documentation AutomobileTransmission EnglishLanguage "A Gearbox with several Gears that allow a given rotational speed of the Crankshaft to be translated ultimately to different speeds of the Driveshaft (within the power and maximum RPM capabilities of the Engine).")	Cars.kif 2190-2193	Transmission is a subclass of gearbox

appearance as argument number 2

antecedent

(=>
    (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)))

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