Module Dependency Hierarchy


Move the mouse over the name of a module to see a description of the module and information about its contents. Click the hyperlinks in parenthesis after the module name to access the ALM and ASP code for the module. The ASP code will also contain the translation of all ancestor modules in the dependency hierarchy.


entity_event_and_action (ALM ASP) General hierarchy of entities and description of events and actions.
Classes: thing, entity, spatial_entity, place, tangible_entity, physical_object, inanimate_object, living_thing, event, actions, activity.
Statics: defined_agent, defined_object, defined_base, defined_instrument.
accessibility (ALM ASP) (Module Extension: ALM ASP) Basic module about accessibility.
Classes: make_accessible, make_inaccessible.
Fluents: accessible_to, is_accessible, inaccessible_to, is_inaccessible.
activating_and_deactivating (ALM ASP) Activating and deactivating objects that need to be activated in order to participate in an action.
Classes: activate, deactivate.
Fluents: is_activated.
exposing_and_concealing (ALM ASP) Exposing and making something physically or visibly hidden.
Classes: expose, conceal.
Fluents: is_concealed, concealed_from.
unblocking_and_blocking (ALM ASP) Allowing and disallowing things to move through some place, or along some object; opening and closing a portal so that things can move through.
Classes: unblock, block, open , close.
Fluents: is_blocked, blocked_with, is_closed, closed_with, is_unblocked, unblocked_with, is_open.
unobstructing_and_obstructing (ALM ASP) (Module Extension: ALM ASP) Inhibiting and uninhibiting a thing's movement in some way.
Classes: unobstruct, obstruct.
Fluents: is_obstructed.
admitting_and_shutting_out (ALM ASP) (Module Extension: ALM ASP) Allowing and preventing an object from moving into an enclosure.
Classes: admit, shut_out.
Fluents: is_shut_out, shut_out_of, is_inside.
letting_fall_and_adding_support (ALM ASP) (Module Extension: ALM ASP) Allowing and preventing an object from falling.
Classes: let_fall, add_support, dive.
Fluents: is_supported, supported_with.
letting_go_and_taking_hold (ALM ASP) (Module Extension: ALM ASP) Allowing and preventing the object from being moved by entities other than the agent.
Classes: let_go_of, take_hold.
Fluents: is_held, held_by, abuts.
releasing_and_confining (ALM ASP) (Module Extension: ALM ASP) Allowing and preventing an object from moving out of its enclosure.
Classes: release, confine.
Fluents: is_confined, confined_to, is_inside.
unrestraining_and_restraining (ALM ASP) Allowing and preventing an object from moving.
Classes: unrestrain, restrain.
Fluents: is_restrained, restrained_by.
changing_possession (ALM ASP) (Module Extension: ALM ASP) Changing possession of an object.
Classes: transfer, deliver, lose, receive.
Fluents: possesses.
specific_loss_of_possession (ALM ASP) More detailed actions about losing possession of an object.
Classes: relinquish, give, donate, supply, feed.
specific_gain_of_possession (ALM ASP) More detailed actions about gaining possession of an object.
Classes: obtain, take.
changing_position (ALM ASP) Changing the position or orientation of an object or part of an object..
Classes: orient, fidget.
minor_body_movement (ALM ASP) (Module Extension: ALM ASP) Changing the position or orientation of part of a body.
Classes: gesticulate, head_nod, head_shake.
major_body_movement (ALM ASP) Changing the position or orientation of a whole body.
Classes: sit_down, stand_up.
Fluents: is_sitting, is_standing.
communication (ALM ASP) Communicating information between two entities.
Classes: express, command, inquire, lie, deceive, write.
Fluents: is_known, known_to.
Statics: information_language, truth.
contact_and_attachment (ALM ASP) (Module Extension: ALM ASP) Establishing or breaking a link or contact between two objects.
Classes: attach, detach, make_contact, collide, break_contact.
Fluents: is_touching, is_attached_to, abuts.
creating (ALM ASP) (Module Extension: ALM ASP) Creating something; causing something to come into existence.
Classes: create, copy, duplicate, produce, record.
Fluents: exists, content, material, age, animacy, area, breakability, capacity, color, consistency, density, depth, height, length, mass, sentience, sex, shape, size, smell, taste, temperature, texture, thickness, trait, wetness, width, volume
embodying (ALM ASP) Creating the physical embodiment of a message.
Classes: embody, speak.
creating_marks (ALM ASP) Embodying a message in the form of a printed ink, a physical mark or sketch, etc..
Classes: mark, print.
minor_body_movement (ALM ASP) (Module Extension: ALM ASP) Changing the position or orientation of part of a body.
Classes: gesticulate, head_nod, head_shake.
sensing (ALM ASP) Deriving a message from a sensation using a sensory apparatus.
Classes: sense, hear, read, see.
impairment (ALM ASP) Impairing an object so that it becomes worse or less effective.
Classes: impair, repair.
Fluents: is_broken, is_ruined.
specific_impairment (ALM ASP) More detailed types of impairment.
Classes: damage, break, harm.
Fluents: is_damaged.
specific_breakage (ALM ASP) More detailed types of breakage.
Classes: breach, destroy, divide, ruin, take_apart.
Fluents: has_region, has_part, exists, material, animacy, breakability, color, consistency, density, sentience, sex, smell, taste, temperature, texture, trait, wetness.
increasing_and_decreasing (ALM ASP) Increasing and decreasing the property of an entity.
Classes: increase, decrease.
Fluents: age, animacy, area, breakability, capacity, color, consistency, density, depth, height, length, mass, sentience, sex, shape, size, smell, taste, temperature, texture, thickness, trait, wetness, width, volume.
Statics: greater_than, less_than.
light_increasing_and_decreasing (ALM ASP) Increasing and decreasing brightness.
Classes: brighten, dim.
density_increasing_and_decreasing (ALM ASP) Increasing density.
Classes: condense.
volume_increasing_and_decreasing (ALM ASP) Increasing and decreasing volume.
Classes: expand, contract.
temperature_increasing_and_decreasing (ALM ASP) Increasing and decreasing temperature.
Classes: heat, cool.
wetness_increasing_and_decreasing (ALM ASP) Increasing and decreasing wetness.
Classes: wet, dry.
interpretation (ALM ASP) (Module Extension: ALM ASP) Interpreting a message, gleaning information from it.
Classes: interpret, learn.
Fluents: is_known, known_to.
motion (ALM ASP) (Module Extension: ALM ASP) Changing the location of an object.
Classes: move.
Fluents: location, is_near, abuts, is_beside, is_opposite, is_above, is_below, is_behind, is_in_front_of, is_inside, is_over, is_under, is_on, encloses, is_along, is_at, is_outside, is_between, is_blocked, is_held, is_restrained.
container_motion (ALM ASP) (Module Extension: ALM ASP) Changing location by moving through some place or along some path.
Classes: move_through, move_into, move_out_of.
Fluents: contained_in, shut_out_of, is_closed, is_contained, contained_in, content, confined_to.
Statics: has_region.
taking_in (ALM ASP) Changing the location of an object by taking it from the outside into oneself.
Classes: take_in, absorb, eat.
container_locomotion (ALM ASP) An agent changing its own location by moving through some place or along some path. .
Classes: go_through, enter, exit.
locomotion (ALM ASP) (Module Extension: ALM ASP) An agent changing its own location.
Classes: locomotion, carry, go_to, leave, walk.
Fluents: held_by.
unauthorized_locomotion (ALM ASP) Entering without authorization.
Classes: trespass, invade.
Fluents: possesses.
container_locomotion (ALM ASP) An agent changing its own location by moving through some place or along some path. .
Classes: go_through, enter, exit.
specific_motion (ALM ASP) More detailed types of motion.
Classes: emit, slide, rotate, propel, fall, transmit.
perception (ALM ASP) (Module Extension: ALM ASP) Becoming aware of something through the senses.
Classes: perceive, recognize.
resource_management (ALM ASP) Managing and using resources.
Classes: consume, replenish, allocate_resource, release_resource.
Fluents: is_available, available_to.
storing_and_withdrawing (ALM ASP) (Module Extension: ALM ASP) Storing an object in another.
Classes: store, withdraw.
Fluents: is_stored, stored_in, content.