antecedent

(=>     (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
(=>     (and         (gearToothCount ?G1 ?I1)         (gearToothCount ?G2 ?I2)         (gearRatio ?G1 ?G2 ?R))     (equal ?R         (DivisionFn ?I1 ?I2)))	engineering.kif 963-969	If there are X number of GearTooth in Y, there are Z number of GearTooth in W, and V is the gearRatio between Y and W, then equal V, X, and Z

Show simplified definition (without tree view)
Show simplified definition (with tree view)