Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CarryBot |
| appearance as argument number 1 |
|
| (subclass CarryBot AutonomousAgent) | Robot.kif 7-7 | CarryBot is a subclass of agent |
| appearance as argument number 3 |
|
|
| (domain canCarry 1 CarryBot) | Robot.kif 11-11 | The number 1 argument of canCarry is an instance of CarryBot |
| (domain widthLimit 1 CarryBot) | Robot.kif 25-25 | The number 1 argument of widthLimit is an instance of CarryBot |
| (domain lengthLimit 1 CarryBot) | Robot.kif 59-59 | The number 1 argument of lengthLimit is an instance of CarryBot |
| (domain massLimit 1 CarryBot) | Robot.kif 92-92 | The number 1 argument of massLimit is an instance of CarryBot |
| 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 |
|