# {py:mod}`pyirk.builtin_entities` ```{py:module} pyirk.builtin_entities ``` ```{autodoc2-docstring} pyirk.builtin_entities :allowtitles: ``` ## Module Contents ### Classes ````{list-table} :class: autosummary longtable :align: left * - {py:obj}`ScopingCM ` - ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM :summary: ``` * - {py:obj}`AbstractMathRelatedScopeCM ` - ```{autodoc2-docstring} pyirk.builtin_entities.AbstractMathRelatedScopeCM :summary: ``` * - {py:obj}`ConditionSubScopeCM ` - ```{autodoc2-docstring} pyirk.builtin_entities.ConditionSubScopeCM :summary: ``` * - {py:obj}`QuantifiedSubScopeCM ` - ```{autodoc2-docstring} pyirk.builtin_entities.QuantifiedSubScopeCM :summary: ``` * - {py:obj}`_proposition__CM ` - ```{autodoc2-docstring} pyirk.builtin_entities._proposition__CM :summary: ``` * - {py:obj}`_rule__CM ` - * - {py:obj}`RulePremiseSubScopeCM ` - ```{autodoc2-docstring} pyirk.builtin_entities.RulePremiseSubScopeCM :summary: ``` * - {py:obj}`ImplicationStatement ` - ```{autodoc2-docstring} pyirk.builtin_entities.ImplicationStatement :summary: ``` ```` ### Functions ````{list-table} :class: autosummary longtable :align: left * - {py:obj}`allows_instantiation ` - ```{autodoc2-docstring} pyirk.builtin_entities.allows_instantiation :summary: ``` * - {py:obj}`get_taxonomy_tree ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_taxonomy_tree :summary: ``` * - {py:obj}`is_subclass_of ` - ```{autodoc2-docstring} pyirk.builtin_entities.is_subclass_of :summary: ``` * - {py:obj}`is_instance_of ` - ```{autodoc2-docstring} pyirk.builtin_entities.is_instance_of :summary: ``` * - {py:obj}`instance_of ` - ```{autodoc2-docstring} pyirk.builtin_entities.instance_of :summary: ``` * - {py:obj}`_register_scope ` - ```{autodoc2-docstring} pyirk.builtin_entities._register_scope :summary: ``` * - {py:obj}`add_relations_to_scope ` - ```{autodoc2-docstring} pyirk.builtin_entities.add_relations_to_scope :summary: ``` * - {py:obj}`get_scopes ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_scopes :summary: ``` * - {py:obj}`get_items_defined_in_scope ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_items_defined_in_scope :summary: ``` * - {py:obj}`add_scope_to_defining_statement ` - ```{autodoc2-docstring} pyirk.builtin_entities.add_scope_to_defining_statement :summary: ``` * - {py:obj}`is_generic_instance ` - ```{autodoc2-docstring} pyirk.builtin_entities.is_generic_instance :summary: ``` * - {py:obj}`_proposition__scope ` - ```{autodoc2-docstring} pyirk.builtin_entities._proposition__scope :summary: ``` * - {py:obj}`_rule__scope ` - ```{autodoc2-docstring} pyirk.builtin_entities._rule__scope :summary: ``` * - {py:obj}`_get_subscopes ` - ```{autodoc2-docstring} pyirk.builtin_entities._get_subscopes :summary: ``` * - {py:obj}`_get_subscope ` - ```{autodoc2-docstring} pyirk.builtin_entities._get_subscope :summary: ``` * - {py:obj}`_get_statements_for_scope ` - ```{autodoc2-docstring} pyirk.builtin_entities._get_statements_for_scope :summary: ``` * - {py:obj}`_get_items_for_scope ` - ```{autodoc2-docstring} pyirk.builtin_entities._get_items_for_scope :summary: ``` * - {py:obj}`get_ui_short_representation ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_ui_short_representation :summary: ``` * - {py:obj}`create_expression ` - ```{autodoc2-docstring} pyirk.builtin_entities.create_expression :summary: ``` * - {py:obj}`get_arguments ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_arguments :summary: ``` * - {py:obj}`create_evaluated_mapping ` - ```{autodoc2-docstring} pyirk.builtin_entities.create_evaluated_mapping :summary: ``` * - {py:obj}`new_equation ` - ```{autodoc2-docstring} pyirk.builtin_entities.new_equation :summary: ``` * - {py:obj}`new_mathematical_relation ` - ```{autodoc2-docstring} pyirk.builtin_entities.new_mathematical_relation :summary: ``` * - {py:obj}`get_proxy_item ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_proxy_item :summary: ``` * - {py:obj}`new_tuple ` - ```{autodoc2-docstring} pyirk.builtin_entities.new_tuple :summary: ``` * - {py:obj}`uq_instance_of ` - ```{autodoc2-docstring} pyirk.builtin_entities.uq_instance_of :summary: ``` * - {py:obj}`is_relevant_item ` - ```{autodoc2-docstring} pyirk.builtin_entities.is_relevant_item :summary: ``` * - {py:obj}`get_direct_instances_of ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_direct_instances_of :summary: ``` * - {py:obj}`get_all_instances_of ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_all_instances_of :summary: ``` * - {py:obj}`get_all_subclasses_of ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_all_subclasses_of :summary: ``` * - {py:obj}`close_class_with_R51 ` - ```{autodoc2-docstring} pyirk.builtin_entities.close_class_with_R51 :summary: ``` * - {py:obj}`set_multiple_statements ` - ```{autodoc2-docstring} pyirk.builtin_entities.set_multiple_statements :summary: ``` * - {py:obj}`get_relation_properties_uris ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_relation_properties_uris :summary: ``` * - {py:obj}`get_relation_properties ` - ```{autodoc2-docstring} pyirk.builtin_entities.get_relation_properties :summary: ``` * - {py:obj}`add_items ` - ```{autodoc2-docstring} pyirk.builtin_entities.add_items :summary: ``` * - {py:obj}`radd_items ` - ```{autodoc2-docstring} pyirk.builtin_entities.radd_items :summary: ``` * - {py:obj}`sub_items ` - ```{autodoc2-docstring} pyirk.builtin_entities.sub_items :summary: ``` * - {py:obj}`reflective_sub_items ` - ```{autodoc2-docstring} pyirk.builtin_entities.reflective_sub_items :summary: ``` * - {py:obj}`mul_items ` - ```{autodoc2-docstring} pyirk.builtin_entities.mul_items :summary: ``` * - {py:obj}`rmul_items ` - ```{autodoc2-docstring} pyirk.builtin_entities.rmul_items :summary: ``` * - {py:obj}`div_items ` - ```{autodoc2-docstring} pyirk.builtin_entities.div_items :summary: ``` * - {py:obj}`reflective_div_items ` - ```{autodoc2-docstring} pyirk.builtin_entities.reflective_div_items :summary: ``` * - {py:obj}`pow_items ` - ```{autodoc2-docstring} pyirk.builtin_entities.pow_items :summary: ``` * - {py:obj}`reflective_pow_items ` - ```{autodoc2-docstring} pyirk.builtin_entities.reflective_pow_items :summary: ``` * - {py:obj}`neg_item ` - ```{autodoc2-docstring} pyirk.builtin_entities.neg_item :summary: ``` * - {py:obj}`unpack_tuple_item ` - ```{autodoc2-docstring} pyirk.builtin_entities.unpack_tuple_item :summary: ``` * - {py:obj}`label_compare_method ` - ```{autodoc2-docstring} pyirk.builtin_entities.label_compare_method :summary: ``` * - {py:obj}`does_not_have_relation ` - ```{autodoc2-docstring} pyirk.builtin_entities.does_not_have_relation :summary: ``` * - {py:obj}`replacer_method ` - ```{autodoc2-docstring} pyirk.builtin_entities.replacer_method :summary: ``` * - {py:obj}`copy_statements ` - ```{autodoc2-docstring} pyirk.builtin_entities.copy_statements :summary: ``` * - {py:obj}`reverse_statements ` - ```{autodoc2-docstring} pyirk.builtin_entities.reverse_statements :summary: ``` * - {py:obj}`new_instance_as_object ` - ```{autodoc2-docstring} pyirk.builtin_entities.new_instance_as_object :summary: ``` * - {py:obj}`raise_contradiction ` - ```{autodoc2-docstring} pyirk.builtin_entities.raise_contradiction :summary: ``` * - {py:obj}`raise_reasoning_goal_reached ` - ```{autodoc2-docstring} pyirk.builtin_entities.raise_reasoning_goal_reached :summary: ``` ```` ### Data ````{list-table} :class: autosummary longtable :align: left * - {py:obj}`__URI__ ` - ```{autodoc2-docstring} pyirk.builtin_entities.__URI__ :summary: ``` * - {py:obj}`keymanager ` - ```{autodoc2-docstring} pyirk.builtin_entities.keymanager :summary: ``` * - {py:obj}`R32 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R32 :summary: ``` * - {py:obj}`R1 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R1 :summary: ``` * - {py:obj}`R2 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R2 :summary: ``` * - {py:obj}`R22 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R22 :summary: ``` * - {py:obj}`R3 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R3 :summary: ``` * - {py:obj}`R4 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R4 :summary: ``` * - {py:obj}`R5 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R5 :summary: ``` * - {py:obj}`R6 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R6 :summary: ``` * - {py:obj}`R7 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R7 :summary: ``` * - {py:obj}`R8 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R8 :summary: ``` * - {py:obj}`R9 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R9 :summary: ``` * - {py:obj}`R10 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R10 :summary: ``` * - {py:obj}`R11 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R11 :summary: ``` * - {py:obj}`R12 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R12 :summary: ``` * - {py:obj}`R13 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R13 :summary: ``` * - {py:obj}`R14 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R14 :summary: ``` * - {py:obj}`R15 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R15 :summary: ``` * - {py:obj}`R16 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R16 :summary: ``` * - {py:obj}`R61 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R61 :summary: ``` * - {py:obj}`R17 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R17 :summary: ``` * - {py:obj}`R18 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R18 :summary: ``` * - {py:obj}`R19 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R19 :summary: ``` * - {py:obj}`I40 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I40 :summary: ``` * - {py:obj}`R68 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R68 :summary: ``` * - {py:obj}`R20 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R20 :summary: ``` * - {py:obj}`qff_has_defining_scope ` - ```{autodoc2-docstring} pyirk.builtin_entities.qff_has_defining_scope :summary: ``` * - {py:obj}`R21 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R21 :summary: ``` * - {py:obj}`R23 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R23 :summary: ``` * - {py:obj}`R24 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R24 :summary: ``` * - {py:obj}`R25 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R25 :summary: ``` * - {py:obj}`I1 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I1 :summary: ``` * - {py:obj}`I2 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I2 :summary: ``` * - {py:obj}`I3 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I3 :summary: ``` * - {py:obj}`I4 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I4 :summary: ``` * - {py:obj}`I5 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I5 :summary: ``` * - {py:obj}`I6 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I6 :summary: ``` * - {py:obj}`I7 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I7 :summary: ``` * - {py:obj}`I8 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I8 :summary: ``` * - {py:obj}`I9 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I9 :summary: ``` * - {py:obj}`I10 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I10 :summary: ``` * - {py:obj}`I11 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I11 :summary: ``` * - {py:obj}`I12 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I12 :summary: ``` * - {py:obj}`I13 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I13 :summary: ``` * - {py:obj}`I14 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I14 :summary: ``` * - {py:obj}`I16 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I16 :summary: ``` * - {py:obj}`I15 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I15 :summary: ``` * - {py:obj}`I17 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I17 :summary: ``` * - {py:obj}`I51 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I51 :summary: ``` * - {py:obj}`I52 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I52 :summary: ``` * - {py:obj}`I53 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I53 :summary: ``` * - {py:obj}`I18 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I18 :summary: ``` * - {py:obj}`I19 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I19 :summary: ``` * - {py:obj}`I20 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I20 :summary: ``` * - {py:obj}`I21 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I21 :summary: ``` * - {py:obj}`R26 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R26 :summary: ``` * - {py:obj}`R27 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R27 :summary: ``` * - {py:obj}`I46 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I46 :summary: ``` * - {py:obj}`I22 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I22 :summary: ``` * - {py:obj}`I23 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I23 :summary: ``` * - {py:obj}`I24 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I24 :summary: ``` * - {py:obj}`I25 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I25 :summary: ``` * - {py:obj}`I26 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I26 :summary: ``` * - {py:obj}`I27 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I27 :summary: ``` * - {py:obj}`I28 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I28 :summary: ``` * - {py:obj}`I29 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I29 :summary: ``` * - {py:obj}`I30 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I30 :summary: ``` * - {py:obj}`I31 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I31 :summary: ``` * - {py:obj}`I32 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I32 :summary: ``` * - {py:obj}`R28 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R28 :summary: ``` * - {py:obj}`R29 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R29 :summary: ``` * - {py:obj}`R30 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R30 :summary: ``` * - {py:obj}`R31 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R31 :summary: ``` * - {py:obj}`R33 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R33 :summary: ``` * - {py:obj}`R34 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R34 :summary: ``` * - {py:obj}`proxy_item ` - ```{autodoc2-docstring} pyirk.builtin_entities.proxy_item :summary: ``` * - {py:obj}`R35 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R35 :summary: ``` * - {py:obj}`I33 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I33 :summary: ``` * - {py:obj}`R46 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R46 :summary: ``` * - {py:obj}`I42 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I42 :summary: ``` * - {py:obj}`I34 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I34 :summary: ``` * - {py:obj}`I35 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I35 :summary: ``` * - {py:obj}`I36 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I36 :summary: ``` * - {py:obj}`I37 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I37 :summary: ``` * - {py:obj}`I38 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I38 :summary: ``` * - {py:obj}`I39 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I39 :summary: ``` * - {py:obj}`R36 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R36 :summary: ``` * - {py:obj}`R37 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R37 :summary: ``` * - {py:obj}`R67 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R67 :summary: ``` * - {py:obj}`R38 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R38 :summary: ``` * - {py:obj}`R39 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R39 :summary: ``` * - {py:obj}`R40 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R40 :summary: ``` * - {py:obj}`has_index ` - ```{autodoc2-docstring} pyirk.builtin_entities.has_index :summary: ``` * - {py:obj}`R41 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R41 :summary: ``` * - {py:obj}`R42 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R42 :summary: ``` * - {py:obj}`R43 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R43 :summary: ``` * - {py:obj}`I41 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I41 :summary: ``` * - {py:obj}`I43 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I43 :summary: ``` * - {py:obj}`R44 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R44 :summary: ``` * - {py:obj}`univ_quant ` - ```{autodoc2-docstring} pyirk.builtin_entities.univ_quant :summary: ``` * - {py:obj}`R66 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R66 :summary: ``` * - {py:obj}`exis_quant ` - ```{autodoc2-docstring} pyirk.builtin_entities.exis_quant :summary: ``` * - {py:obj}`R45 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R45 :summary: ``` * - {py:obj}`R47 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R47 :summary: ``` * - {py:obj}`R48 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R48 :summary: ``` * - {py:obj}`R49 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R49 :summary: ``` * - {py:obj}`R50 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R50 :summary: ``` * - {py:obj}`R51 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R51 :summary: ``` * - {py:obj}`R52 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R52 :summary: ``` * - {py:obj}`R53 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R53 :summary: ``` * - {py:obj}`R54 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R54 :summary: ``` * - {py:obj}`R55 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R55 :summary: ``` * - {py:obj}`R56 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R56 :summary: ``` * - {py:obj}`R57 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R57 :summary: ``` * - {py:obj}`R58 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R58 :summary: ``` * - {py:obj}`R59 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R59 :summary: ``` * - {py:obj}`qff_has_rule_ptg_mode ` - ```{autodoc2-docstring} pyirk.builtin_entities.qff_has_rule_ptg_mode :summary: ``` * - {py:obj}`R60 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R60 :summary: ``` * - {py:obj}`R62 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R62 :summary: ``` * - {py:obj}`R63 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R63 :summary: ``` * - {py:obj}`I44 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I44 :summary: ``` * - {py:obj}`R64 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R64 :summary: ``` * - {py:obj}`R65 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R65 :summary: ``` * - {py:obj}`qff_allows_alt_functional_value ` - ```{autodoc2-docstring} pyirk.builtin_entities.qff_allows_alt_functional_value :summary: ``` * - {py:obj}`R69 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R69 :summary: ``` * - {py:obj}`R70 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R70 :summary: ``` * - {py:obj}`R71 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R71 :summary: ``` * - {py:obj}`I45 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I45 :summary: ``` * - {py:obj}`R72 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R72 :summary: ``` * - {py:obj}`R73 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R73 :summary: ``` * - {py:obj}`I47 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I47 :summary: ``` * - {py:obj}`I48 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I48 :summary: ``` * - {py:obj}`R74 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R74 :summary: ``` * - {py:obj}`I49 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I49 :summary: ``` * - {py:obj}`R75 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R75 :summary: ``` * - {py:obj}`R76 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R76 :summary: ``` * - {py:obj}`I50 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I50 :summary: ``` * - {py:obj}`R77 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R77 :summary: ``` * - {py:obj}`R78 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R78 :summary: ``` * - {py:obj}`I54 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I54 :summary: ``` * - {py:obj}`R79 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R79 :summary: ``` * - {py:obj}`R80 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R80 :summary: ``` * - {py:obj}`R81 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R81 :summary: ``` * - {py:obj}`I60 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I60 :summary: ``` * - {py:obj}`I55 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I55 :summary: ``` * - {py:obj}`I61 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I61 :summary: ``` * - {py:obj}`I56 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I56 :summary: ``` * - {py:obj}`I62 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I62 :summary: ``` * - {py:obj}`I57 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I57 :summary: ``` * - {py:obj}`I63 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I63 :summary: ``` * - {py:obj}`I58 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I58 :summary: ``` * - {py:obj}`R82 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R82 :summary: ``` * - {py:obj}`I59 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I59 :summary: ``` * - {py:obj}`I000 ` - ```{autodoc2-docstring} pyirk.builtin_entities.I000 :summary: ``` * - {py:obj}`R000 ` - ```{autodoc2-docstring} pyirk.builtin_entities.R000 :summary: ``` ```` ### API ````{py:data} __URI__ :canonical: pyirk.builtin_entities.__URI__ :value: > None ```{autodoc2-docstring} pyirk.builtin_entities.__URI__ ``` ```` ````{py:data} keymanager :canonical: pyirk.builtin_entities.keymanager :value: > 'KeyManager(...)' ```{autodoc2-docstring} pyirk.builtin_entities.keymanager ``` ```` ````{py:function} allows_instantiation(itm: pyirk.core.Item) -> bool :canonical: pyirk.builtin_entities.allows_instantiation ```{autodoc2-docstring} pyirk.builtin_entities.allows_instantiation ``` ```` ````{py:function} get_taxonomy_tree(itm, add_self=True) -> list :canonical: pyirk.builtin_entities.get_taxonomy_tree ```{autodoc2-docstring} pyirk.builtin_entities.get_taxonomy_tree ``` ```` ````{py:function} is_subclass_of(itm1: pyirk.core.Item, itm2: pyirk.core.Item, allow_id=False, strict=True) -> bool :canonical: pyirk.builtin_entities.is_subclass_of ```{autodoc2-docstring} pyirk.builtin_entities.is_subclass_of ``` ```` ````{py:function} is_instance_of(inst_itm: pyirk.core.Item, cls_itm: pyirk.core.Item, allow_R30_secondary: bool = False, strict=True) -> bool :canonical: pyirk.builtin_entities.is_instance_of ```{autodoc2-docstring} pyirk.builtin_entities.is_instance_of ``` ```` ````{py:function} instance_of(cls_entity, r1: str = None, r2: str = None, qualifiers: typing.List[pyirk.core.Item] = None, force_key: str = None) -> pyirk.core.Item :canonical: pyirk.builtin_entities.instance_of ```{autodoc2-docstring} pyirk.builtin_entities.instance_of ``` ```` ````{py:data} R32 :canonical: pyirk.builtin_entities.R32 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R32 ``` ```` ````{py:data} R1 :canonical: pyirk.builtin_entities.R1 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R1 ``` ```` ````{py:data} R2 :canonical: pyirk.builtin_entities.R2 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R2 ``` ```` ````{py:data} R22 :canonical: pyirk.builtin_entities.R22 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R22 ``` ```` ````{py:data} R3 :canonical: pyirk.builtin_entities.R3 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R3 ``` ```` ````{py:data} R4 :canonical: pyirk.builtin_entities.R4 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R4 ``` ```` ````{py:data} R5 :canonical: pyirk.builtin_entities.R5 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R5 ``` ```` ````{py:data} R6 :canonical: pyirk.builtin_entities.R6 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R6 ``` ```` ````{py:data} R7 :canonical: pyirk.builtin_entities.R7 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R7 ``` ```` ````{py:data} R8 :canonical: pyirk.builtin_entities.R8 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R8 ``` ```` ````{py:data} R9 :canonical: pyirk.builtin_entities.R9 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R9 ``` ```` ````{py:data} R10 :canonical: pyirk.builtin_entities.R10 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R10 ``` ```` ````{py:data} R11 :canonical: pyirk.builtin_entities.R11 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R11 ``` ```` ````{py:data} R12 :canonical: pyirk.builtin_entities.R12 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R12 ``` ```` ````{py:data} R13 :canonical: pyirk.builtin_entities.R13 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R13 ``` ```` ````{py:data} R14 :canonical: pyirk.builtin_entities.R14 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R14 ``` ```` ````{py:data} R15 :canonical: pyirk.builtin_entities.R15 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R15 ``` ```` ````{py:data} R16 :canonical: pyirk.builtin_entities.R16 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R16 ``` ```` ````{py:data} R61 :canonical: pyirk.builtin_entities.R61 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R61 ``` ```` ````{py:data} R17 :canonical: pyirk.builtin_entities.R17 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R17 ``` ```` ````{py:data} R18 :canonical: pyirk.builtin_entities.R18 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R18 ``` ```` ````{py:data} R19 :canonical: pyirk.builtin_entities.R19 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R19 ``` ```` ````{py:data} I40 :canonical: pyirk.builtin_entities.I40 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I40 ``` ```` ````{py:data} R68 :canonical: pyirk.builtin_entities.R68 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R68 ``` ```` ````{py:data} R20 :canonical: pyirk.builtin_entities.R20 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R20 ``` ```` ````{py:data} qff_has_defining_scope :canonical: pyirk.builtin_entities.qff_has_defining_scope :value: > 'QualifierFactory(...)' ```{autodoc2-docstring} pyirk.builtin_entities.qff_has_defining_scope ``` ```` ````{py:data} R21 :canonical: pyirk.builtin_entities.R21 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R21 ``` ```` ````{py:data} R23 :canonical: pyirk.builtin_entities.R23 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R23 ``` ```` ````{py:data} R24 :canonical: pyirk.builtin_entities.R24 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R24 ``` ```` ````{py:data} R25 :canonical: pyirk.builtin_entities.R25 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R25 ``` ```` ````{py:data} I1 :canonical: pyirk.builtin_entities.I1 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I1 ``` ```` ````{py:data} I2 :canonical: pyirk.builtin_entities.I2 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I2 ``` ```` ````{py:data} I3 :canonical: pyirk.builtin_entities.I3 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I3 ``` ```` ````{py:data} I4 :canonical: pyirk.builtin_entities.I4 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I4 ``` ```` ````{py:data} I5 :canonical: pyirk.builtin_entities.I5 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I5 ``` ```` ````{py:data} I6 :canonical: pyirk.builtin_entities.I6 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I6 ``` ```` ````{py:data} I7 :canonical: pyirk.builtin_entities.I7 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I7 ``` ```` ````{py:data} I8 :canonical: pyirk.builtin_entities.I8 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I8 ``` ```` ````{py:data} I9 :canonical: pyirk.builtin_entities.I9 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I9 ``` ```` ````{py:data} I10 :canonical: pyirk.builtin_entities.I10 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I10 ``` ```` ````{py:data} I11 :canonical: pyirk.builtin_entities.I11 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I11 ``` ```` ````{py:data} I12 :canonical: pyirk.builtin_entities.I12 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I12 ``` ```` ````{py:data} I13 :canonical: pyirk.builtin_entities.I13 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I13 ``` ```` ````{py:data} I14 :canonical: pyirk.builtin_entities.I14 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I14 ``` ```` ````{py:data} I16 :canonical: pyirk.builtin_entities.I16 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I16 ``` ```` ````{py:function} _register_scope(self, name: str, scope_type: str = None) -> tuple[dict, pyirk.core.Item] :canonical: pyirk.builtin_entities._register_scope ```{autodoc2-docstring} pyirk.builtin_entities._register_scope ``` ```` ````{py:function} add_relations_to_scope(relation_tuples: typing.Union[list, tuple], scope: pyirk.core.Entity) :canonical: pyirk.builtin_entities.add_relations_to_scope ```{autodoc2-docstring} pyirk.builtin_entities.add_relations_to_scope ``` ```` ````{py:function} get_scopes(entity: pyirk.core.Entity) -> typing.List[pyirk.core.Item] :canonical: pyirk.builtin_entities.get_scopes ```{autodoc2-docstring} pyirk.builtin_entities.get_scopes ``` ```` ````{py:function} get_items_defined_in_scope(scope: pyirk.core.Item) -> typing.List[pyirk.core.Entity] :canonical: pyirk.builtin_entities.get_items_defined_in_scope ```{autodoc2-docstring} pyirk.builtin_entities.get_items_defined_in_scope ``` ```` ````{py:function} add_scope_to_defining_statement(ent: pyirk.core.Entity, scope: pyirk.core.Item) -> None :canonical: pyirk.builtin_entities.add_scope_to_defining_statement ```{autodoc2-docstring} pyirk.builtin_entities.add_scope_to_defining_statement ``` ```` `````{py:class} ScopingCM(itm: pyirk.core.Item, namespace: dict, scope: pyirk.core.Item, parent_scope_cm=None) :canonical: pyirk.builtin_entities.ScopingCM ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM ``` ```{rubric} Initialization ``` ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM.__init__ ``` ````{py:attribute} _all_instances :canonical: pyirk.builtin_entities.ScopingCM._all_instances :value: > [] ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM._all_instances ``` ```` ````{py:attribute} _instances :canonical: pyirk.builtin_entities.ScopingCM._instances :value: > 'defaultdict(...)' ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM._instances ``` ```` ````{py:attribute} valid_subscope_types :canonical: pyirk.builtin_entities.ScopingCM.valid_subscope_types :value: > None ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM.valid_subscope_types ``` ```` ````{py:method} __enter__() :canonical: pyirk.builtin_entities.ScopingCM.__enter__ ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM.__enter__ ``` ```` ````{py:method} __exit__(exc_type, exc_val, exc_tb) :canonical: pyirk.builtin_entities.ScopingCM.__exit__ ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM.__exit__ ``` ```` ````{py:method} __getattr__(name: str) :canonical: pyirk.builtin_entities.ScopingCM.__getattr__ ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM.__getattr__ ``` ```` ````{py:method} new_var(**kwargs) -> pyirk.core.Entity :canonical: pyirk.builtin_entities.ScopingCM.new_var ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM.new_var ``` ```` ````{py:method} _new_var(variable_name: str, variable_object: pyirk.core.Entity) -> pyirk.core.Entity :canonical: pyirk.builtin_entities.ScopingCM._new_var ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM._new_var ``` ```` ````{py:method} new_rel(sub: pyirk.core.Entity, pred: pyirk.core.Relation, obj: pyirk.core.Entity, qualifiers=None, overwrite=False) -> pyirk.core.Statement :canonical: pyirk.builtin_entities.ScopingCM.new_rel ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM.new_rel ``` ```` ````{py:method} _check_scope() :canonical: pyirk.builtin_entities.ScopingCM._check_scope ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM._check_scope ``` ```` ````{py:method} _create_subscope_cm(scope_type: str, cls: type) :canonical: pyirk.builtin_entities.ScopingCM._create_subscope_cm ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM._create_subscope_cm ``` ```` ````{py:method} copy_from(other_obj: pyirk.core.Item, scope_name: str = None) :canonical: pyirk.builtin_entities.ScopingCM.copy_from ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM.copy_from ``` ```` ````{py:method} _get_new_var_from_old(old_var: pyirk.core.Item, strict=False) -> pyirk.core.Item :canonical: pyirk.builtin_entities.ScopingCM._get_new_var_from_old ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM._get_new_var_from_old ``` ```` ````{py:method} _copy_mapping(mapping_item: pyirk.core.Item) -> pyirk.core.Item :canonical: pyirk.builtin_entities.ScopingCM._copy_mapping ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM._copy_mapping ``` ```` ````{py:method} _get_premise_vars() -> dict :canonical: pyirk.builtin_entities.ScopingCM._get_premise_vars ```{autodoc2-docstring} pyirk.builtin_entities.ScopingCM._get_premise_vars ``` ```` ````` ````{py:function} is_generic_instance(itm: pyirk.core.Item) -> bool :canonical: pyirk.builtin_entities.is_generic_instance ```{autodoc2-docstring} pyirk.builtin_entities.is_generic_instance ``` ```` `````{py:class} AbstractMathRelatedScopeCM(itm: pyirk.core.Item, namespace: dict, scope: pyirk.core.Item, parent_scope_cm=None) :canonical: pyirk.builtin_entities.AbstractMathRelatedScopeCM Bases: {py:obj}`pyirk.builtin_entities.ScopingCM` ```{autodoc2-docstring} pyirk.builtin_entities.AbstractMathRelatedScopeCM ``` ```{rubric} Initialization ``` ```{autodoc2-docstring} pyirk.builtin_entities.AbstractMathRelatedScopeCM.__init__ ``` ````{py:method} new_equation(lhs: pyirk.core.Item, rhs: pyirk.core.Item, force_key: str = None) -> pyirk.core.Item :canonical: pyirk.builtin_entities.AbstractMathRelatedScopeCM.new_equation ```{autodoc2-docstring} pyirk.builtin_entities.AbstractMathRelatedScopeCM.new_equation ``` ```` ````{py:method} new_math_relation(lhs: pyirk.core.Item, rsgn: str, rhs: pyirk.core.Item, force_key: str = None) -> pyirk.core.Item :canonical: pyirk.builtin_entities.AbstractMathRelatedScopeCM.new_math_relation ```{autodoc2-docstring} pyirk.builtin_entities.AbstractMathRelatedScopeCM.new_math_relation ``` ```` ````{py:method} AND() -> pyirk.builtin_entities.ConditionSubScopeCM :canonical: pyirk.builtin_entities.AbstractMathRelatedScopeCM.AND ```{autodoc2-docstring} pyirk.builtin_entities.AbstractMathRelatedScopeCM.AND ``` ```` ````{py:method} OR() -> pyirk.builtin_entities.ConditionSubScopeCM :canonical: pyirk.builtin_entities.AbstractMathRelatedScopeCM.OR ```{autodoc2-docstring} pyirk.builtin_entities.AbstractMathRelatedScopeCM.OR ``` ```` ````{py:method} NOT() -> pyirk.builtin_entities.ConditionSubScopeCM :canonical: pyirk.builtin_entities.AbstractMathRelatedScopeCM.NOT ```{autodoc2-docstring} pyirk.builtin_entities.AbstractMathRelatedScopeCM.NOT ``` ```` ````{py:method} check_scope_type(*args, **kwargs) :canonical: pyirk.builtin_entities.AbstractMathRelatedScopeCM.check_scope_type ```{autodoc2-docstring} pyirk.builtin_entities.AbstractMathRelatedScopeCM.check_scope_type ``` ```` ````` `````{py:class} ConditionSubScopeCM(*args, **kwargs) :canonical: pyirk.builtin_entities.ConditionSubScopeCM Bases: {py:obj}`pyirk.builtin_entities.AbstractMathRelatedScopeCM` ```{autodoc2-docstring} pyirk.builtin_entities.ConditionSubScopeCM ``` ```{rubric} Initialization ``` ```{autodoc2-docstring} pyirk.builtin_entities.ConditionSubScopeCM.__init__ ``` ````{py:attribute} valid_subscope_types :canonical: pyirk.builtin_entities.ConditionSubScopeCM.valid_subscope_types :value: > None ```{autodoc2-docstring} pyirk.builtin_entities.ConditionSubScopeCM.valid_subscope_types ``` ```` ````{py:method} add_condition_statement(subj, pred, obj, qualifiers=None) :canonical: pyirk.builtin_entities.ConditionSubScopeCM.add_condition_statement ```{autodoc2-docstring} pyirk.builtin_entities.ConditionSubScopeCM.add_condition_statement ``` ```` ````{py:method} add_condition_math_relation(*args, **kwargs) :canonical: pyirk.builtin_entities.ConditionSubScopeCM.add_condition_math_relation ```{autodoc2-docstring} pyirk.builtin_entities.ConditionSubScopeCM.add_condition_math_relation ``` ```` ````{py:method} new_condition_var(**kwargs) :canonical: pyirk.builtin_entities.ConditionSubScopeCM.new_condition_var ```{autodoc2-docstring} pyirk.builtin_entities.ConditionSubScopeCM.new_condition_var ``` ```` ````{py:method} check_scope_type(forbidden) :canonical: pyirk.builtin_entities.ConditionSubScopeCM.check_scope_type ```` ````` ````{py:class} QuantifiedSubScopeCM(*args, **kwargs) :canonical: pyirk.builtin_entities.QuantifiedSubScopeCM Bases: {py:obj}`pyirk.builtin_entities.ConditionSubScopeCM` ```{autodoc2-docstring} pyirk.builtin_entities.QuantifiedSubScopeCM ``` ```{rubric} Initialization ``` ```{autodoc2-docstring} pyirk.builtin_entities.QuantifiedSubScopeCM.__init__ ``` ```` `````{py:class} _proposition__CM(itm: pyirk.core.Item, namespace: dict, scope: pyirk.core.Item, parent_scope_cm=None) :canonical: pyirk.builtin_entities._proposition__CM Bases: {py:obj}`pyirk.builtin_entities.AbstractMathRelatedScopeCM` ```{autodoc2-docstring} pyirk.builtin_entities._proposition__CM ``` ```{rubric} Initialization ``` ```{autodoc2-docstring} pyirk.builtin_entities._proposition__CM.__init__ ``` ````{py:attribute} valid_subscope_types :canonical: pyirk.builtin_entities._proposition__CM.valid_subscope_types :value: > None ```{autodoc2-docstring} pyirk.builtin_entities._proposition__CM.valid_subscope_types ``` ```` ````{py:method} universally_quantified() -> pyirk.builtin_entities.ScopingCM :canonical: pyirk.builtin_entities._proposition__CM.universally_quantified ```{autodoc2-docstring} pyirk.builtin_entities._proposition__CM.universally_quantified ``` ```` ````{py:method} existentially_quantified() -> pyirk.builtin_entities.ScopingCM :canonical: pyirk.builtin_entities._proposition__CM.existentially_quantified ```{autodoc2-docstring} pyirk.builtin_entities._proposition__CM.existentially_quantified ``` ```` ````` ````{py:function} _proposition__scope(self: pyirk.core.Item, scope_name: str) :canonical: pyirk.builtin_entities._proposition__scope ```{autodoc2-docstring} pyirk.builtin_entities._proposition__scope ``` ```` `````{py:class} _rule__CM(*args, **kwargs) :canonical: pyirk.builtin_entities._rule__CM Bases: {py:obj}`pyirk.builtin_entities.AbstractMathRelatedScopeCM` ````{py:attribute} valid_subscope_types :canonical: pyirk.builtin_entities._rule__CM.valid_subscope_types :value: > None ```{autodoc2-docstring} pyirk.builtin_entities._rule__CM.valid_subscope_types ``` ```` ````{py:property} anchor_item_counter :canonical: pyirk.builtin_entities._rule__CM.anchor_item_counter ```{autodoc2-docstring} pyirk.builtin_entities._rule__CM.anchor_item_counter ``` ```` ````{py:method} uses_external_entities(*args) :canonical: pyirk.builtin_entities._rule__CM.uses_external_entities ```{autodoc2-docstring} pyirk.builtin_entities._rule__CM.uses_external_entities ``` ```` ````{py:method} set_sparql(sparql_src: str) :canonical: pyirk.builtin_entities._rule__CM.set_sparql ```{autodoc2-docstring} pyirk.builtin_entities._rule__CM.set_sparql ``` ```` ````{py:method} new_variable_literal(name) :canonical: pyirk.builtin_entities._rule__CM.new_variable_literal ```{autodoc2-docstring} pyirk.builtin_entities._rule__CM.new_variable_literal ``` ```` ````{py:method} new_rel_var(name) :canonical: pyirk.builtin_entities._rule__CM.new_rel_var ```{autodoc2-docstring} pyirk.builtin_entities._rule__CM.new_rel_var ``` ```` ````{py:method} new_rel(sub: pyirk.core.Entity, pred: pyirk.core.Entity, obj: pyirk.core.Entity, qualifiers=None, overwrite=False) -> pyirk.core.Statement :canonical: pyirk.builtin_entities._rule__CM.new_rel ```` ````{py:method} _get_new_anchor_item(name) :canonical: pyirk.builtin_entities._rule__CM._get_new_anchor_item ```{autodoc2-docstring} pyirk.builtin_entities._rule__CM._get_new_anchor_item ``` ```` ````{py:method} new_condition_func(func: callable, *args, anchor_item=None) :canonical: pyirk.builtin_entities._rule__CM.new_condition_func ```{autodoc2-docstring} pyirk.builtin_entities._rule__CM.new_condition_func ``` ```` ````{py:method} new_consequent_func(func: callable, *args, anchor_item=None) :canonical: pyirk.builtin_entities._rule__CM.new_consequent_func ```{autodoc2-docstring} pyirk.builtin_entities._rule__CM.new_consequent_func ``` ```` ````{py:method} NOT() :canonical: pyirk.builtin_entities._rule__CM.NOT ```` ````{py:method} OR() :canonical: pyirk.builtin_entities._rule__CM.OR ```{autodoc2-docstring} pyirk.builtin_entities._rule__CM.OR ``` ```` ````{py:method} AND() :canonical: pyirk.builtin_entities._rule__CM.AND ```` ````` `````{py:class} RulePremiseSubScopeCM(*args, **kwargs) :canonical: pyirk.builtin_entities.RulePremiseSubScopeCM Bases: {py:obj}`pyirk.builtin_entities._rule__CM` ```{autodoc2-docstring} pyirk.builtin_entities.RulePremiseSubScopeCM ``` ```{rubric} Initialization ``` ```{autodoc2-docstring} pyirk.builtin_entities.RulePremiseSubScopeCM.__init__ ``` ````{py:method} AND() :canonical: pyirk.builtin_entities.RulePremiseSubScopeCM.AND ```{autodoc2-docstring} pyirk.builtin_entities.RulePremiseSubScopeCM.AND ``` ```` ````` ````{py:function} _rule__scope(self: pyirk.core.Item, scope_name: str) :canonical: pyirk.builtin_entities._rule__scope ```{autodoc2-docstring} pyirk.builtin_entities._rule__scope ``` ```` ````{py:function} _get_subscopes(self) :canonical: pyirk.builtin_entities._get_subscopes ```{autodoc2-docstring} pyirk.builtin_entities._get_subscopes ``` ```` ````{py:function} _get_subscope(self, name: str) :canonical: pyirk.builtin_entities._get_subscope ```{autodoc2-docstring} pyirk.builtin_entities._get_subscope ``` ```` ````{py:function} _get_statements_for_scope(self) :canonical: pyirk.builtin_entities._get_statements_for_scope ```{autodoc2-docstring} pyirk.builtin_entities._get_statements_for_scope ``` ```` ````{py:function} _get_items_for_scope(self) :canonical: pyirk.builtin_entities._get_items_for_scope ```{autodoc2-docstring} pyirk.builtin_entities._get_items_for_scope ``` ```` ````{py:data} I15 :canonical: pyirk.builtin_entities.I15 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I15 ``` ```` ````{py:data} I17 :canonical: pyirk.builtin_entities.I17 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I17 ``` ```` ````{py:data} I51 :canonical: pyirk.builtin_entities.I51 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I51 ``` ```` ````{py:data} I52 :canonical: pyirk.builtin_entities.I52 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I52 ``` ```` ````{py:data} I53 :canonical: pyirk.builtin_entities.I53 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I53 ``` ```` ````{py:data} I18 :canonical: pyirk.builtin_entities.I18 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I18 ``` ```` ````{py:function} get_ui_short_representation(self) -> str :canonical: pyirk.builtin_entities.get_ui_short_representation ```{autodoc2-docstring} pyirk.builtin_entities.get_ui_short_representation ``` ```` ````{py:function} create_expression(latex_src: str, r1: str = None, r2: str = None) -> pyirk.core.Item :canonical: pyirk.builtin_entities.create_expression ```{autodoc2-docstring} pyirk.builtin_entities.create_expression ``` ```` ````{py:data} I19 :canonical: pyirk.builtin_entities.I19 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I19 ``` ```` ````{py:data} I20 :canonical: pyirk.builtin_entities.I20 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I20 ``` ```` ````{py:data} I21 :canonical: pyirk.builtin_entities.I21 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I21 ``` ```` ````{py:data} R26 :canonical: pyirk.builtin_entities.R26 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R26 ``` ```` ````{py:data} R27 :canonical: pyirk.builtin_entities.R27 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R27 ``` ```` ````{py:data} I46 :canonical: pyirk.builtin_entities.I46 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I46 ``` ```` ````{py:data} I22 :canonical: pyirk.builtin_entities.I22 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I22 ``` ```` ````{py:data} I23 :canonical: pyirk.builtin_entities.I23 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I23 ``` ```` ````{py:data} I24 :canonical: pyirk.builtin_entities.I24 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I24 ``` ```` ````{py:data} I25 :canonical: pyirk.builtin_entities.I25 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I25 ``` ```` ````{py:data} I26 :canonical: pyirk.builtin_entities.I26 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I26 ``` ```` ````{py:data} I27 :canonical: pyirk.builtin_entities.I27 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I27 ``` ```` ````{py:data} I28 :canonical: pyirk.builtin_entities.I28 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I28 ``` ```` ````{py:data} I29 :canonical: pyirk.builtin_entities.I29 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I29 ``` ```` ````{py:data} I30 :canonical: pyirk.builtin_entities.I30 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I30 ``` ```` ````{py:data} I31 :canonical: pyirk.builtin_entities.I31 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I31 ``` ```` ````{py:data} I32 :canonical: pyirk.builtin_entities.I32 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I32 ``` ```` ````{py:data} R28 :canonical: pyirk.builtin_entities.R28 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R28 ``` ```` ````{py:data} R29 :canonical: pyirk.builtin_entities.R29 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R29 ``` ```` ````{py:function} get_arguments(self: pyirk.core.Item) -> typing.Tuple[pyirk.core.Item] :canonical: pyirk.builtin_entities.get_arguments ```{autodoc2-docstring} pyirk.builtin_entities.get_arguments ``` ```` ````{py:function} create_evaluated_mapping(mapping: pyirk.core.Item, *args) -> pyirk.core.Item :canonical: pyirk.builtin_entities.create_evaluated_mapping ```{autodoc2-docstring} pyirk.builtin_entities.create_evaluated_mapping ``` ```` ````{py:data} R30 :canonical: pyirk.builtin_entities.R30 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R30 ``` ```` ````{py:data} R31 :canonical: pyirk.builtin_entities.R31 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R31 ``` ```` ````{py:function} new_equation(lhs: pyirk.core.Item, rhs: pyirk.core.Item, doc=None, scope: typing.Optional[pyirk.core.Item] = None, force_key: str = None) -> pyirk.core.Item :canonical: pyirk.builtin_entities.new_equation ```{autodoc2-docstring} pyirk.builtin_entities.new_equation ``` ```` ````{py:function} new_mathematical_relation(lhs: pyirk.core.Item, rsgn: str, rhs: pyirk.core.Item, doc=None, scope: typing.Optional[pyirk.core.Item] = None, force_key: str = None) -> pyirk.core.Item :canonical: pyirk.builtin_entities.new_mathematical_relation ```{autodoc2-docstring} pyirk.builtin_entities.new_mathematical_relation ``` ```` ````{py:data} R33 :canonical: pyirk.builtin_entities.R33 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R33 ``` ```` ````{py:data} R34 :canonical: pyirk.builtin_entities.R34 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R34 ``` ```` ````{py:data} proxy_item :canonical: pyirk.builtin_entities.proxy_item :value: > 'QualifierFactory(...)' ```{autodoc2-docstring} pyirk.builtin_entities.proxy_item ``` ```` ````{py:function} get_proxy_item(stm: pyirk.core.Statement, strict=True) -> pyirk.core.Item :canonical: pyirk.builtin_entities.get_proxy_item ```{autodoc2-docstring} pyirk.builtin_entities.get_proxy_item ``` ```` ````{py:data} R35 :canonical: pyirk.builtin_entities.R35 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R35 ``` ```` ````{py:data} I33 :canonical: pyirk.builtin_entities.I33 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I33 ``` ```` ````{py:function} new_tuple(*args, **kwargs) -> pyirk.core.Item :canonical: pyirk.builtin_entities.new_tuple ```{autodoc2-docstring} pyirk.builtin_entities.new_tuple ``` ```` ````{py:data} R46 :canonical: pyirk.builtin_entities.R46 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R46 ``` ```` ````{py:data} I42 :canonical: pyirk.builtin_entities.I42 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I42 ``` ```` ````{py:data} I34 :canonical: pyirk.builtin_entities.I34 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I34 ``` ```` ````{py:data} I35 :canonical: pyirk.builtin_entities.I35 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I35 ``` ```` ````{py:data} I36 :canonical: pyirk.builtin_entities.I36 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I36 ``` ```` ````{py:data} I37 :canonical: pyirk.builtin_entities.I37 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I37 ``` ```` ````{py:data} I38 :canonical: pyirk.builtin_entities.I38 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I38 ``` ```` ````{py:data} I39 :canonical: pyirk.builtin_entities.I39 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I39 ``` ```` ````{py:data} R36 :canonical: pyirk.builtin_entities.R36 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R36 ``` ```` ````{py:data} R37 :canonical: pyirk.builtin_entities.R37 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R37 ``` ```` ````{py:data} R67 :canonical: pyirk.builtin_entities.R67 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R67 ``` ```` ````{py:data} R38 :canonical: pyirk.builtin_entities.R38 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R38 ``` ```` ````{py:data} R39 :canonical: pyirk.builtin_entities.R39 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R39 ``` ```` ````{py:data} R40 :canonical: pyirk.builtin_entities.R40 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R40 ``` ```` ````{py:data} has_index :canonical: pyirk.builtin_entities.has_index :value: > 'QualifierFactory(...)' ```{autodoc2-docstring} pyirk.builtin_entities.has_index ``` ```` ````{py:data} R41 :canonical: pyirk.builtin_entities.R41 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R41 ``` ```` ````{py:data} R42 :canonical: pyirk.builtin_entities.R42 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R42 ``` ```` ````{py:data} R43 :canonical: pyirk.builtin_entities.R43 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R43 ``` ```` ````{py:data} I41 :canonical: pyirk.builtin_entities.I41 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I41 ``` ```` ````{py:data} I43 :canonical: pyirk.builtin_entities.I43 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I43 ``` ```` ````{py:data} R44 :canonical: pyirk.builtin_entities.R44 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R44 ``` ```` ````{py:data} univ_quant :canonical: pyirk.builtin_entities.univ_quant :value: > 'QualifierFactory(...)' ```{autodoc2-docstring} pyirk.builtin_entities.univ_quant ``` ```` ````{py:function} uq_instance_of(type_entity: pyirk.core.Item, r1: str = None, r2: str = None) -> pyirk.core.Item :canonical: pyirk.builtin_entities.uq_instance_of ```{autodoc2-docstring} pyirk.builtin_entities.uq_instance_of ``` ```` ````{py:data} R66 :canonical: pyirk.builtin_entities.R66 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R66 ``` ```` ````{py:data} exis_quant :canonical: pyirk.builtin_entities.exis_quant :value: > 'QualifierFactory(...)' ```{autodoc2-docstring} pyirk.builtin_entities.exis_quant ``` ```` ````{py:data} R45 :canonical: pyirk.builtin_entities.R45 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R45 ``` ```` `````{py:class} ImplicationStatement() :canonical: pyirk.builtin_entities.ImplicationStatement ```{autodoc2-docstring} pyirk.builtin_entities.ImplicationStatement ``` ```{rubric} Initialization ``` ```{autodoc2-docstring} pyirk.builtin_entities.ImplicationStatement.__init__ ``` ````{py:method} __enter__() :canonical: pyirk.builtin_entities.ImplicationStatement.__enter__ ```{autodoc2-docstring} pyirk.builtin_entities.ImplicationStatement.__enter__ ``` ```` ````{py:method} __exit__(exc_type, exc_val, exc_tb) :canonical: pyirk.builtin_entities.ImplicationStatement.__exit__ ```{autodoc2-docstring} pyirk.builtin_entities.ImplicationStatement.__exit__ ``` ```` ````{py:method} antecedent_relation(**kwargs) :canonical: pyirk.builtin_entities.ImplicationStatement.antecedent_relation ```{autodoc2-docstring} pyirk.builtin_entities.ImplicationStatement.antecedent_relation ``` ```` ````{py:method} consequent_relation(**kwargs) :canonical: pyirk.builtin_entities.ImplicationStatement.consequent_relation ```{autodoc2-docstring} pyirk.builtin_entities.ImplicationStatement.consequent_relation ``` ```` ````` ````{py:data} R47 :canonical: pyirk.builtin_entities.R47 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R47 ``` ```` ````{py:data} R48 :canonical: pyirk.builtin_entities.R48 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R48 ``` ```` ````{py:data} R49 :canonical: pyirk.builtin_entities.R49 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R49 ``` ```` ````{py:data} R50 :canonical: pyirk.builtin_entities.R50 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R50 ``` ```` ````{py:data} R51 :canonical: pyirk.builtin_entities.R51 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R51 ``` ```` ````{py:function} is_relevant_item(itm) :canonical: pyirk.builtin_entities.is_relevant_item ```{autodoc2-docstring} pyirk.builtin_entities.is_relevant_item ``` ```` ````{py:function} get_direct_instances_of(cls_item: pyirk.core.Item, filter=None) -> typing.List[pyirk.core.Item] :canonical: pyirk.builtin_entities.get_direct_instances_of ```{autodoc2-docstring} pyirk.builtin_entities.get_direct_instances_of ``` ```` ````{py:function} get_all_instances_of(cls_item: pyirk.core.Item, filter=None) -> typing.List[pyirk.core.Item] :canonical: pyirk.builtin_entities.get_all_instances_of ```{autodoc2-docstring} pyirk.builtin_entities.get_all_instances_of ``` ```` ````{py:function} get_all_subclasses_of(cls_item: pyirk.core.Item, strict=True) -> typing.List[pyirk.core.Item] :canonical: pyirk.builtin_entities.get_all_subclasses_of ```{autodoc2-docstring} pyirk.builtin_entities.get_all_subclasses_of ``` ```` ````{py:function} close_class_with_R51(cls_item: pyirk.core.Item) :canonical: pyirk.builtin_entities.close_class_with_R51 ```{autodoc2-docstring} pyirk.builtin_entities.close_class_with_R51 ``` ```` ````{py:function} set_multiple_statements(subjects: typing.Union[list, tuple], predicate: pyirk.core.Relation, object: typing.Any, qualifiers=None) :canonical: pyirk.builtin_entities.set_multiple_statements ```{autodoc2-docstring} pyirk.builtin_entities.set_multiple_statements ``` ```` ````{py:data} R52 :canonical: pyirk.builtin_entities.R52 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R52 ``` ```` ````{py:data} R53 :canonical: pyirk.builtin_entities.R53 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R53 ``` ```` ````{py:data} R54 :canonical: pyirk.builtin_entities.R54 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R54 ``` ```` ````{py:data} R55 :canonical: pyirk.builtin_entities.R55 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R55 ``` ```` ````{py:data} R56 :canonical: pyirk.builtin_entities.R56 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R56 ``` ```` ````{py:data} R57 :canonical: pyirk.builtin_entities.R57 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R57 ``` ```` ````{py:data} R58 :canonical: pyirk.builtin_entities.R58 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R58 ``` ```` ````{py:data} R59 :canonical: pyirk.builtin_entities.R59 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R59 ``` ```` ````{py:data} qff_has_rule_ptg_mode :canonical: pyirk.builtin_entities.qff_has_rule_ptg_mode :value: > 'QualifierFactory(...)' ```{autodoc2-docstring} pyirk.builtin_entities.qff_has_rule_ptg_mode ``` ```` ````{py:data} R60 :canonical: pyirk.builtin_entities.R60 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R60 ``` ```` ````{py:data} R62 :canonical: pyirk.builtin_entities.R62 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R62 ``` ```` ````{py:function} get_relation_properties_uris() :canonical: pyirk.builtin_entities.get_relation_properties_uris ```{autodoc2-docstring} pyirk.builtin_entities.get_relation_properties_uris ``` ```` ````{py:function} get_relation_properties(rel_entity: pyirk.core.Entity) -> typing.List[str] :canonical: pyirk.builtin_entities.get_relation_properties ```{autodoc2-docstring} pyirk.builtin_entities.get_relation_properties ``` ```` ````{py:data} R63 :canonical: pyirk.builtin_entities.R63 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R63 ``` ```` ````{py:data} I44 :canonical: pyirk.builtin_entities.I44 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I44 ``` ```` ````{py:data} R64 :canonical: pyirk.builtin_entities.R64 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R64 ``` ```` ````{py:data} R65 :canonical: pyirk.builtin_entities.R65 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R65 ``` ```` ````{py:data} qff_allows_alt_functional_value :canonical: pyirk.builtin_entities.qff_allows_alt_functional_value :value: > 'QualifierFactory(...)' ```{autodoc2-docstring} pyirk.builtin_entities.qff_allows_alt_functional_value ``` ```` ````{py:data} R69 :canonical: pyirk.builtin_entities.R69 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R69 ``` ```` ````{py:data} R70 :canonical: pyirk.builtin_entities.R70 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R70 ``` ```` ````{py:data} R71 :canonical: pyirk.builtin_entities.R71 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R71 ``` ```` ````{py:data} I45 :canonical: pyirk.builtin_entities.I45 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I45 ``` ```` ````{py:data} R72 :canonical: pyirk.builtin_entities.R72 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R72 ``` ```` ````{py:data} R73 :canonical: pyirk.builtin_entities.R73 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R73 ``` ```` ````{py:data} I47 :canonical: pyirk.builtin_entities.I47 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I47 ``` ```` ````{py:data} I48 :canonical: pyirk.builtin_entities.I48 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I48 ``` ```` ````{py:data} R74 :canonical: pyirk.builtin_entities.R74 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R74 ``` ```` ````{py:data} I49 :canonical: pyirk.builtin_entities.I49 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I49 ``` ```` ````{py:data} R75 :canonical: pyirk.builtin_entities.R75 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R75 ``` ```` ````{py:data} R76 :canonical: pyirk.builtin_entities.R76 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R76 ``` ```` ````{py:data} I50 :canonical: pyirk.builtin_entities.I50 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I50 ``` ```` ````{py:data} R77 :canonical: pyirk.builtin_entities.R77 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R77 ``` ```` ````{py:data} R78 :canonical: pyirk.builtin_entities.R78 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R78 ``` ```` ````{py:data} I54 :canonical: pyirk.builtin_entities.I54 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I54 ``` ```` ````{py:data} R79 :canonical: pyirk.builtin_entities.R79 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R79 ``` ```` ````{py:data} R80 :canonical: pyirk.builtin_entities.R80 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R80 ``` ```` ````{py:data} R81 :canonical: pyirk.builtin_entities.R81 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R81 ``` ```` ````{py:data} I60 :canonical: pyirk.builtin_entities.I60 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I60 ``` ```` ````{py:data} I55 :canonical: pyirk.builtin_entities.I55 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I55 ``` ```` ````{py:data} I61 :canonical: pyirk.builtin_entities.I61 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I61 ``` ```` ````{py:data} I56 :canonical: pyirk.builtin_entities.I56 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I56 ``` ```` ````{py:data} I62 :canonical: pyirk.builtin_entities.I62 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I62 ``` ```` ````{py:data} I57 :canonical: pyirk.builtin_entities.I57 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I57 ``` ```` ````{py:data} I63 :canonical: pyirk.builtin_entities.I63 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I63 ``` ```` ````{py:data} I58 :canonical: pyirk.builtin_entities.I58 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I58 ``` ```` ````{py:data} R82 :canonical: pyirk.builtin_entities.R82 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R82 ``` ```` ````{py:function} add_items(*args) :canonical: pyirk.builtin_entities.add_items ```{autodoc2-docstring} pyirk.builtin_entities.add_items ``` ```` ````{py:function} radd_items(a, b) :canonical: pyirk.builtin_entities.radd_items ```{autodoc2-docstring} pyirk.builtin_entities.radd_items ``` ```` ````{py:function} sub_items(a, b) :canonical: pyirk.builtin_entities.sub_items ```{autodoc2-docstring} pyirk.builtin_entities.sub_items ``` ```` ````{py:function} reflective_sub_items(a, b) :canonical: pyirk.builtin_entities.reflective_sub_items ```{autodoc2-docstring} pyirk.builtin_entities.reflective_sub_items ``` ```` ````{py:function} mul_items(*args) :canonical: pyirk.builtin_entities.mul_items ```{autodoc2-docstring} pyirk.builtin_entities.mul_items ``` ```` ````{py:function} rmul_items(a, b) :canonical: pyirk.builtin_entities.rmul_items ```{autodoc2-docstring} pyirk.builtin_entities.rmul_items ``` ```` ````{py:function} div_items(a, b) :canonical: pyirk.builtin_entities.div_items ```{autodoc2-docstring} pyirk.builtin_entities.div_items ``` ```` ````{py:function} reflective_div_items(a, b) :canonical: pyirk.builtin_entities.reflective_div_items ```{autodoc2-docstring} pyirk.builtin_entities.reflective_div_items ``` ```` ````{py:function} pow_items(a, b) :canonical: pyirk.builtin_entities.pow_items ```{autodoc2-docstring} pyirk.builtin_entities.pow_items ``` ```` ````{py:function} reflective_pow_items(a, b) :canonical: pyirk.builtin_entities.reflective_pow_items ```{autodoc2-docstring} pyirk.builtin_entities.reflective_pow_items ``` ```` ````{py:function} neg_item(a) :canonical: pyirk.builtin_entities.neg_item ```{autodoc2-docstring} pyirk.builtin_entities.neg_item ``` ```` ````{py:function} unpack_tuple_item(tuple_item) :canonical: pyirk.builtin_entities.unpack_tuple_item ```{autodoc2-docstring} pyirk.builtin_entities.unpack_tuple_item ``` ```` ````{py:data} I59 :canonical: pyirk.builtin_entities.I59 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I59 ``` ```` ````{py:data} I000 :canonical: pyirk.builtin_entities.I000 :value: > 'create_builtin_item(...)' ```{autodoc2-docstring} pyirk.builtin_entities.I000 ``` ```` ````{py:data} R000 :canonical: pyirk.builtin_entities.R000 :value: > 'create_builtin_relation(...)' ```{autodoc2-docstring} pyirk.builtin_entities.R000 ``` ```` ````{py:function} label_compare_method(self, item1, item2) -> bool :canonical: pyirk.builtin_entities.label_compare_method ```{autodoc2-docstring} pyirk.builtin_entities.label_compare_method ``` ```` ````{py:function} does_not_have_relation(self, item: pyirk.core.Item, rel: pyirk.core.Relation) -> bool :canonical: pyirk.builtin_entities.does_not_have_relation ```{autodoc2-docstring} pyirk.builtin_entities.does_not_have_relation ``` ```` ````{py:function} replacer_method(self, old_item, new_item) :canonical: pyirk.builtin_entities.replacer_method ```{autodoc2-docstring} pyirk.builtin_entities.replacer_method ``` ```` ````{py:function} copy_statements(self, rel1: pyirk.core.Relation, rel2: pyirk.core.Relation) :canonical: pyirk.builtin_entities.copy_statements ```{autodoc2-docstring} pyirk.builtin_entities.copy_statements ``` ```` ````{py:function} reverse_statements(self, rel: pyirk.core.Relation) :canonical: pyirk.builtin_entities.reverse_statements ```{autodoc2-docstring} pyirk.builtin_entities.reverse_statements ``` ```` ````{py:function} new_instance_as_object(self, subj, pred, obj_type, placeholder=False, name_prefix=None) :canonical: pyirk.builtin_entities.new_instance_as_object ```{autodoc2-docstring} pyirk.builtin_entities.new_instance_as_object ``` ```` ````{py:function} raise_contradiction(self, msg_template, *args) :canonical: pyirk.builtin_entities.raise_contradiction ```{autodoc2-docstring} pyirk.builtin_entities.raise_contradiction ``` ```` ````{py:function} raise_reasoning_goal_reached(self, msg_template, *args) :canonical: pyirk.builtin_entities.raise_reasoning_goal_reached ```{autodoc2-docstring} pyirk.builtin_entities.raise_reasoning_goal_reached ``` ````