antecedent

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

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

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners