Setting up the use of this module.

§1. This section simply sets up the module in ways expected by foundation, and contains no code of interest. The following constant exists only in tools which use this module:

define KNOWLEDGE_MODULE TRUE

§2. Like all modules, this one must define a start and end function:

COMPILE_WRITER(booking *, RuleBookings::log)
COMPILE_WRITER(inference *, Inferences::log)
COMPILE_WRITER(inference_subject *, InferenceSubjects::log)
COMPILE_WRITER(property *, Properties::log)
COMPILE_WRITER(rulebook *, Rulebooks::log)
COMPILE_WRITER(inference_family *, Inferences::log_family)

§3. 

enumerate ACTIVITY_CREATIONS_DA 

enumerate INFERENCES_DA 

enumerate OBJECT_COMPILATION_DA 

enumerate PROPERTY_CREATIONS_DA 

enumerate PROPERTY_PROVISION_DA 

enumerate PROPERTY_TRANSLATIONS_DA 

enumerate RULE_ATTACHMENTS_DA 

enumerate RULEBOOK_COMPILATION_DA 

enumerate INSTANCE_COUNTING_MREASON 

enumerate COMPILATION_SIZE_MREASON 

enumerate OBJECT_COMPILATION_MREASON 

void KnowledgeModule::start(void) {
    PropertyInferences::start();
    RelationInferences::start();
    InstanceAdjectives::start();
    EitherOrPropertyAdjectives::start();
    MeasurementAdjectives::start();
    SameAsRelations::start();
    SettingPropertyRelations::start();
    ComparativeRelations::start();
    ProvisionRelation::start();
    REGISTER_WRITER('b', RuleBookings::log);
    REGISTER_WRITER('I', Inferences::log);
    REGISTER_WRITER('j', InferenceSubjects::log);
    REGISTER_WRITER('K', Rulebooks::log);
    REGISTER_WRITER('n', Inferences::log_family)
    REGISTER_WRITER('Y', Properties::log);
    Log::declare_aspect(ACTIVITY_CREATIONS_DA, U"activity creations", FALSE, FALSE);
    Log::declare_aspect(INFERENCES_DA, U"inferences", FALSE, TRUE);
    Log::declare_aspect(OBJECT_COMPILATION_DA, U"object compilation", FALSE, FALSE);
    Log::declare_aspect(PROPERTY_CREATIONS_DA, U"property creations", FALSE, FALSE);
    Log::declare_aspect(PROPERTY_PROVISION_DA, U"property provision", FALSE, FALSE);
    Log::declare_aspect(PROPERTY_TRANSLATIONS_DA, U"property translations", FALSE, FALSE);
    Log::declare_aspect(RULE_ATTACHMENTS_DA, U"rule attachments", FALSE, FALSE);
    Log::declare_aspect(RULEBOOK_COMPILATION_DA, U"rulebook compilation", FALSE, FALSE);
    Memory::reason_name(INSTANCE_COUNTING_MREASON, "instance-of-kind counting");
    Memory::reason_name(COMPILATION_SIZE_MREASON, "size estimates for compiled objects");
    Memory::reason_name(OBJECT_COMPILATION_MREASON, "compilation workspace for objects");
}
void KnowledgeModule::end(void) {
}

§4. This module works closely with calculus, hanging the following functions on its hooks:

define TERM_DOMAIN_CALCULUS_TYPE struct inference_subject

define TERM_DOMAIN_WORDING_FUNCTION InferenceSubjects::get_name_text

define TERM_DOMAIN_TO_KIND_FUNCTION KindSubjects::to_kind

define TERM_DOMAIN_FROM_KIND_FUNCTION KindSubjects::from_kind