Model concepts, categories, relations, events, defaults, and time using formal representations that support reliable inference.
