consequent

(=>     (and         (instance ?ROBOT CarryBot)         (instance ?INSTANCE ?OBJECT)         (subclass ?OBJECT Object)         (widthLimit ?ROBOT             (MeasureFn ?WIDTHLIMIT ?UNIT))         (or             (and                 (defaultMaximumLength ?OBJECT                     (MeasureFn ?LENGTH ?UNIT))                 (defaultMaximumWidth ?OBJECT                     (MeasureFn ?WIDTH ?UNIT))                 (defaultMaximumHeight ?OBJECT                     (MeasureFn ?HEIGHT ?UNIT))                 (greaterThan ?LENGTH ?WIDTHLIMIT)                 (greaterThan ?WIDTH ?WIDTHLIMIT)                 (greaterThan ?HEIGHT ?WIDTHLIMIT))             (and                 (defaultMaximumSphereRadius ?OBJECT                     (MeasureFn ?RADIUS ?UNIT))                 (greaterThan                     (MultiplicationFn ?RADIUS 2) ?WIDTHLIMIT))))     (not         (canCarry ?ROBOT ?INSTANCE)))	Robot.kif 28-52	If X is an instance of CarryBot, Y is an instance of Z, Z is a subclass of object, widthLimit X and W V(s), and All of the following hold: (1) the maximum expected length of Z is U V(s) (2) the maximum expected width of Z is T V(s) (3) the maximum expected height of Z is S V(s) (4) U is greater than W (5) T is greater than W (6) S is greater than W or the maximum expected radius of Z is R V(s) and R and 2 is greater than W, then canCarry X and Y
(=>     (and         (lengthLimit ?ROBOT             (MeasureFn ?LENGTHLIMIT ?UNIT))         (instance ?INSTANCE ?OBJECT)         (subclass ?OBJECT Object)         (or             (and                 (defaultMaximumLength ?OBJECT                     (MeasureFn ?LENGTH ?UNIT))                 (defaultMaximumWidth ?OBJECT                     (MeasureFn ?WIDTH ?UNIT))                 (defaultMaximumHeight ?OBJECT                     (MeasureFn ?HEIGHT ?UNIT)))             (or                 (and                     (greaterThan ?LENGTH ?LENGTHLIMIT)                     (greaterThan ?WIDTH ?LENGTHLIMIT))                 (and                     (greaterThan ?LENGTH ?LENGTHLIMIT)                     (greaterThan ?HEIGHT ?LENGTHLIMIT))                 (and                     (greaterThan ?WIDTH ?LENGTHLIMIT)                     (greaterThan ?HEIGHT ?LENGTHLIMIT)))             (and                 (defaultMaximumSphereRadius ?OBJECT                     (MeasureFn ?RADIUS ?UNIT))                 (greaterThan                     (MultiplicationFn ?RADIUS 2)                     (DivisionFn ?LENGTHLIMIT 2)))))     (not         (canCarry ?ROBOT ?INSTANCE)))	Robot.kif 61-86	If lengthLimit X and Y Z(s), W is an instance of V, V is a subclass of object, and At least one of the following holds: (1) the maximum expected length of V is U Z(s), the maximum expected width of V is T Z(s), and the maximum expected height of V is S Z(s) (2) At least one of the following holds: (1) U is greater than Y and T is greater than Y (2) U is greater than Y and S is greater than Y (3) T is greater than Y and S is greater than Y (3) the maximum expected radius of V is R Z(s) and R, 2 is greater than Y, and 2, then canCarry X and W
(=>     (and         (massLimit ?ROBOT             (MeasureFn ?MASSLIMIT ?UNITOFMASS))         (instance ?INSTANCE ?OBJECT)         (subclass ?OBJECT Object)         (instance ?UNITOFMASS UnitOfMass)         (defaultMaximumMeasure ?OBJECT             (MeasureFn ?NUM ?UNITOFMASS))         (greaterThan ?NUM ?MASSLIMIT))     (not         (canCarry ?ROBOT ?INSTANCE)))	Robot.kif 94-103	If All of the following hold: (1) massLimit X and Y Z(s) (2) W is an instance of V (3) V is a subclass of object (4) Z is an instance of unit of mass (5) the maximum expected value of V is U Z(s) (6) U is greater than Y, then canCarry X and W

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