Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| massLimit |
| appearance as argument number 1 |
|
| (instance massLimit BinaryPredicate) | Robot.kif 91-91 | massLimit is an instance of binary predicate |
| (domain massLimit 1 CarryBot) | Robot.kif 92-92 | The number 1 argument of massLimit is an instance of CarryBot |
| (domain massLimit 2 Quantity) | Robot.kif 93-93 | The number 2 argument of massLimit is an instance of quantity |
| antecedent |
|
|
| (=> (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 |
|