Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| canCarry |
| appearance as argument number 1 |
|
| (documentation canCarry EnglishLanguage "A robot can carry the object.") | Robot.kif 10-10 | |
| (domain canCarry 1 CarryBot) | Robot.kif 11-11 | The number 1 argument of canCarry is an instance of CarryBot |
| (domain canCarry 2 Object) | Robot.kif 12-12 | The number 2 argument of canCarry is an instance of object |
| (instance canCarry BinaryPredicate) | Robot.kif 13-13 | canCarry is an instance of binary predicate |
| antecedent |
|
|
| (=> (canCarry ?ROBOT ?OBJECT) (modalAttribute (exists (?CARRY) (and (instance ?CARRY Carrying) (instrument ?CARRY ?ROBOT) (patient ?CARRY ?OBJECT))) Possibility)) |
Robot.kif 14-21 | If canCarry X and Y, then the statement there exists Z such that Z is an instance of carrying, X is an instrument for Z, and Y is a patient of Z has the modal force of possibility |
| 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 |
|