(=>
(and
(defaultMaximumSphereRadius ?OBJECT
(MeasureFn ?R ?U))
(instance ?INST ?OBJECT)
(attribute ?INST Sphere))
(modalAttribute
(exists (?RADIUS)
(and
(sphereRadius ?INST
(MeasureFn ?RADIUS ?U))
(greaterThan ?RADIUS ?R))) Unlikely)) |
Mid-level-ontology.kif 15049-15060 |
If the maximum expected radius of X is Y Z(s), W is an instance of X, and sphere is an attribute of W, then the statement there exists V such that the radius of W is V Z(s) and V is greater than Y has the modal force of unlikely |
(=>
(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 |
defaultMaximumSphereRadius