- _fact_concept_actor_new
auto _fact_concept_actor_new(...)
Undocumented in source. Be warned that the author may not have intended to support it.
- _fact_individual_actor_new
auto _fact_individual_actor_new(...)
Undocumented in source. Be warned that the author may not have intended to support it.
- _fact_o_role_actor_new
auto _fact_o_role_actor_new(...)
Undocumented in source. Be warned that the author may not have intended to support it.
- fact_actor_free
void fact_actor_free(fact_actor* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_add_arg
void fact_add_arg(fact_reasoning_kernel* k, fact_expression* e)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_and
fact_concept_expression* fact_and(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_bottom
fact_concept_expression* fact_bottom(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_classify_kb
void fact_classify_kb(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_clear_kb
int fact_clear_kb(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_compose
fact_o_role_complex_expression* fact_compose(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_concept
fact_concept_expression* fact_concept(fact_reasoning_kernel* k, immutable(char)* name)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_concept_actor_new
fact_actor* fact_concept_actor_new(va_list )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_d_cardinality
fact_concept_expression* fact_d_cardinality(fact_reasoning_kernel* k, uint n, fact_d_role_expression* r, fact_data_expression* e)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_d_exists
fact_concept_expression* fact_d_exists(fact_reasoning_kernel* k, fact_d_role_expression* r, fact_data_expression* e)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_d_forall
fact_concept_expression* fact_d_forall(fact_reasoning_kernel* k, fact_d_role_expression* r, fact_data_expression* e)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_d_max_cardinality
fact_concept_expression* fact_d_max_cardinality(fact_reasoning_kernel* k, uint n, fact_d_role_expression* r, fact_data_expression* e)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_d_min_cardinality
fact_concept_expression* fact_d_min_cardinality(fact_reasoning_kernel* k, uint n, fact_d_role_expression* r, fact_data_expression* e)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_d_role_actor_new
fact_actor* fact_d_role_actor_new(va_list )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_d_value
fact_concept_expression* fact_d_value(fact_reasoning_kernel* k, fact_d_role_expression* r, fact_data_value_expression* v)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_and
fact_data_expression* fact_data_and(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_bottom
fact_data_expression* fact_data_bottom(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_not
fact_data_expression* fact_data_not(fact_reasoning_kernel* k, fact_data_expression* e)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_one_of
fact_data_expression* fact_data_one_of(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_or
fact_data_expression* fact_data_or(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_role
fact_d_role_expression* fact_data_role(fact_reasoning_kernel* k, immutable(char)* name)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_role_bottom
fact_d_role_expression* fact_data_role_bottom(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_role_top
fact_d_role_expression* fact_data_role_top(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_top
fact_data_expression* fact_data_top(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_type
fact_data_type_expression* fact_data_type(fact_reasoning_kernel* k, immutable(char)* name)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_data_value
fact_data_value_expression* fact_data_value(fact_reasoning_kernel* k, immutable(char)* value, fact_data_type_expression* type)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_declare
fact_axiom* fact_declare(fact_reasoning_kernel* , fact_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_disjoint_concepts
fact_axiom* fact_disjoint_concepts(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_disjoint_d_roles
fact_axiom* fact_disjoint_d_roles(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_disjoint_o_roles
fact_axiom* fact_disjoint_o_roles(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_disjoint_union
fact_axiom* fact_disjoint_union(fact_reasoning_kernel* , fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_equal_concepts
fact_axiom* fact_equal_concepts(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_equal_d_roles
fact_axiom* fact_equal_d_roles(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_equal_o_roles
fact_axiom* fact_equal_o_roles(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_facet_max_exclusive
fact_facet_expression* fact_facet_max_exclusive(fact_reasoning_kernel* k, fact_data_value_expression* v)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_facet_max_inclusive
fact_facet_expression* fact_facet_max_inclusive(fact_reasoning_kernel* k, fact_data_value_expression* v)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_facet_min_exclusive
fact_facet_expression* fact_facet_min_exclusive(fact_reasoning_kernel* k, fact_data_value_expression* v)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_facet_min_inclusive
fact_facet_expression* fact_facet_min_inclusive(fact_reasoning_kernel* k, fact_data_value_expression* v)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_bool_data_type
fact_data_type_expression* fact_get_bool_data_type(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_d_role_domain
void fact_get_d_role_domain(fact_reasoning_kernel* , fact_d_role_expression* r, int direct, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_direct_instances
void fact_get_direct_instances(fact_reasoning_kernel* , fact_concept_expression* c, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_disjoint_concepts
void fact_get_disjoint_concepts(fact_reasoning_kernel* , fact_concept_expression* c, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_elements_1d
immutable(char)** fact_get_elements_1d(fact_actor* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_elements_2d
immutable(char)*** fact_get_elements_2d(fact_actor* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_equivalent_concepts
void fact_get_equivalent_concepts(fact_reasoning_kernel* , fact_concept_expression* c, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_equivalent_roles
void fact_get_equivalent_roles(fact_reasoning_kernel* , fact_role_expression* r, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_instances
void fact_get_instances(fact_reasoning_kernel* , fact_concept_expression* c, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_int_data_type
fact_data_type_expression* fact_get_int_data_type(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_o_role_domain
void fact_get_o_role_domain(fact_reasoning_kernel* , fact_o_role_expression* r, int direct, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_real_data_type
fact_data_type_expression* fact_get_real_data_type(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_role_range
void fact_get_role_range(fact_reasoning_kernel* , fact_o_role_expression* r, int direct, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_same_as
void fact_get_same_as(fact_reasoning_kernel* , fact_individual_expression* i, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_sub_concepts
void fact_get_sub_concepts(fact_reasoning_kernel* , fact_concept_expression* c, int direct, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_sub_roles
void fact_get_sub_roles(fact_reasoning_kernel* , fact_role_expression* r, int direct, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_sup_concepts
void fact_get_sup_concepts(fact_reasoning_kernel* , fact_concept_expression* c, int direct, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_sup_roles
void fact_get_sup_roles(fact_reasoning_kernel* , fact_role_expression* r, int direct, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_synonyms
immutable(char)** fact_get_synonyms(fact_actor* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_time_data_type
fact_data_type_expression* fact_get_time_data_type(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_types
void fact_get_types(fact_reasoning_kernel* , fact_individual_expression* i, int direct, fact_actor** actor)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_get_version
immutable(char)* fact_get_version(va_list )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_getr_data_type
fact_data_type_expression* fact_getr_data_type(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_implies_concepts
fact_axiom* fact_implies_concepts(fact_reasoning_kernel* , fact_concept_expression* c, fact_concept_expression* d)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_implies_d_roles
fact_axiom* fact_implies_d_roles(fact_reasoning_kernel* , fact_d_role_expression* r, fact_d_role_expression* s)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_implies_o_roles
fact_axiom* fact_implies_o_roles(fact_reasoning_kernel* , fact_o_role_complex_expression* r, fact_o_role_expression* s)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_individual
fact_individual_expression* fact_individual(fact_reasoning_kernel* k, immutable(char)* name)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_individual_actor_new
fact_actor* fact_individual_actor_new(va_list )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_instance_of
fact_axiom* fact_instance_of(fact_reasoning_kernel* , fact_individual_expression* i, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_inverse
fact_o_role_expression* fact_inverse(fact_reasoning_kernel* k, fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_asymmetric
int fact_is_asymmetric(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_d_functional
int fact_is_d_functional(fact_reasoning_kernel* , fact_d_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_disjoint
int fact_is_disjoint(fact_reasoning_kernel* , fact_concept_expression* c, fact_concept_expression* d)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_disjoint_d_roles
int fact_is_disjoint_d_roles(fact_reasoning_kernel* , fact_d_role_expression* r, fact_d_role_expression* s)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_disjoint_o_roles
int fact_is_disjoint_o_roles(fact_reasoning_kernel* , fact_o_role_expression* r, fact_o_role_expression* s)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_disjoint_roles
int fact_is_disjoint_roles(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_equivalent
int fact_is_equivalent(fact_reasoning_kernel* , fact_concept_expression* c, fact_concept_expression* d)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_instance
int fact_is_instance(fact_reasoning_kernel* , fact_individual_expression* i, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_inverse_functional
int fact_is_inverse_functional(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_irreflexive
int fact_is_irreflexive(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_kb_classified
int fact_is_kb_classified(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_kb_consistent
int fact_is_kb_consistent(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_kb_preprocessed
int fact_is_kb_preprocessed(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_kb_realised
int fact_is_kb_realised(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_o_functional
int fact_is_o_functional(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_reflexive
int fact_is_reflexive(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_related
int fact_is_related(fact_reasoning_kernel* , fact_individual_expression* i, fact_o_role_expression* r, fact_individual_expression* j)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_same_individuals
int fact_is_same_individuals(fact_reasoning_kernel* , fact_individual_expression* i, fact_individual_expression* j)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_satisfiable
int fact_is_satisfiable(fact_reasoning_kernel* , fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_sub_chain
int fact_is_sub_chain(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_sub_d_roles
int fact_is_sub_d_roles(fact_reasoning_kernel* , fact_d_role_expression* r, fact_d_role_expression* s)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_sub_o_roles
int fact_is_sub_o_roles(fact_reasoning_kernel* , fact_o_role_expression* r, fact_o_role_expression* s)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_subsumed_by
int fact_is_subsumed_by(fact_reasoning_kernel* , fact_concept_expression* c, fact_concept_expression* d)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_symmetric
int fact_is_symmetric(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_is_transitive
int fact_is_transitive(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_new_arg_list
void fact_new_arg_list(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_new_kb
int fact_new_kb(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_not
fact_concept_expression* fact_not(fact_reasoning_kernel* k, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_o_cardinality
fact_concept_expression* fact_o_cardinality(fact_reasoning_kernel* k, uint n, fact_o_role_expression* r, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_o_exists
fact_concept_expression* fact_o_exists(fact_reasoning_kernel* k, fact_o_role_expression* r, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_o_forall
fact_concept_expression* fact_o_forall(fact_reasoning_kernel* k, fact_o_role_expression* r, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_o_max_cardinality
fact_concept_expression* fact_o_max_cardinality(fact_reasoning_kernel* k, uint n, fact_o_role_expression* r, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_o_min_cardinality
fact_concept_expression* fact_o_min_cardinality(fact_reasoning_kernel* k, uint n, fact_o_role_expression* r, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_o_role_actor_new
fact_actor* fact_o_role_actor_new(va_list )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_o_value
fact_concept_expression* fact_o_value(fact_reasoning_kernel* k, fact_o_role_expression* r, fact_individual_expression* i)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_object_role
fact_o_role_expression* fact_object_role(fact_reasoning_kernel* k, immutable(char)* name)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_object_role_bottom
fact_o_role_expression* fact_object_role_bottom(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_object_role_top
fact_o_role_expression* fact_object_role_top(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_one_of
fact_concept_expression* fact_one_of(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_or
fact_concept_expression* fact_or(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_preprocess_kb
void fact_preprocess_kb(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_process_different
fact_axiom* fact_process_different(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_process_same
fact_axiom* fact_process_same(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_project_from
fact_o_role_complex_expression* fact_project_from(fact_reasoning_kernel* k, fact_o_role_expression* r, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_project_into
fact_o_role_complex_expression* fact_project_into(fact_reasoning_kernel* k, fact_o_role_expression* r, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_realise_kb
void fact_realise_kb(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_reasoning_kernel_free
void fact_reasoning_kernel_free(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_reasoning_kernel_new
fact_reasoning_kernel* fact_reasoning_kernel_new()
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_related_to
fact_axiom* fact_related_to(fact_reasoning_kernel* , fact_individual_expression* i, fact_o_role_expression* r, fact_individual_expression* j)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_related_to_not
fact_axiom* fact_related_to_not(fact_reasoning_kernel* , fact_individual_expression* i, fact_o_role_expression* r, fact_individual_expression* j)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_release_kb
int fact_release_kb(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_restricted_type
fact_data_type_expression* fact_restricted_type(fact_reasoning_kernel* k, fact_data_type_expression* type, fact_facet_expression* facet)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_retract
void fact_retract(fact_reasoning_kernel* , fact_axiom* axiom)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_self_reference
fact_concept_expression* fact_self_reference(fact_reasoning_kernel* k, fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_asymmetric
fact_axiom* fact_set_asymmetric(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_d_domain
fact_axiom* fact_set_d_domain(fact_reasoning_kernel* , fact_d_role_expression* r, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_d_functional
fact_axiom* fact_set_d_functional(fact_reasoning_kernel* , fact_d_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_d_range
fact_axiom* fact_set_d_range(fact_reasoning_kernel* , fact_d_role_expression* r, fact_data_expression* e)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_fairness_constraint
fact_axiom* fact_set_fairness_constraint(fact_reasoning_kernel* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_inverse_functional
fact_axiom* fact_set_inverse_functional(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_inverse_roles
fact_axiom* fact_set_inverse_roles(fact_reasoning_kernel* , fact_o_role_expression* r, fact_o_role_expression* s)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_irreflexive
fact_axiom* fact_set_irreflexive(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_o_domain
fact_axiom* fact_set_o_domain(fact_reasoning_kernel* , fact_o_role_expression* r, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_o_functional
fact_axiom* fact_set_o_functional(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_o_range
fact_axiom* fact_set_o_range(fact_reasoning_kernel* , fact_o_role_expression* r, fact_concept_expression* c)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_operation_timeout
void fact_set_operation_timeout(fact_reasoning_kernel* , uint timeout)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_progress_monitor
void fact_set_progress_monitor(fact_reasoning_kernel* , fact_progress_monitor* )
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_reflexive
fact_axiom* fact_set_reflexive(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_symmetric
fact_axiom* fact_set_symmetric(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_top_bottom_role_names
void fact_set_top_bottom_role_names(fact_reasoning_kernel* , immutable(char)* top_b_role_name, immutable(char)* bot_b_role_name, immutable(char)* top_d_role_name, immutable(char)* bot_d_role_name)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_transitive
fact_axiom* fact_set_transitive(fact_reasoning_kernel* , fact_o_role_expression* r)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_set_verbose_output
void fact_set_verbose_output(fact_reasoning_kernel* , int value)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_top
fact_concept_expression* fact_top(fact_reasoning_kernel* k)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_value_of
fact_axiom* fact_value_of(fact_reasoning_kernel* , fact_individual_expression* i, fact_d_role_expression* a, fact_data_value_expression* v)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
- fact_value_of_not
fact_axiom* fact_value_of_not(fact_reasoning_kernel* , fact_individual_expression* i, fact_d_role_expression* a, fact_data_value_expression* v)
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.