From 37a53694e3089ce76c56325f3aa27625ae064a0a Mon Sep 17 00:00:00 2001 From: rodsol Date: Wed, 2 Sep 2015 18:11:43 +0300 Subject: [PATCH 1/3] call the functions --- opencog/nlp/relex2logic/rule-helpers.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/opencog/nlp/relex2logic/rule-helpers.scm b/opencog/nlp/relex2logic/rule-helpers.scm index bd60f36e598..572edfafd69 100644 --- a/opencog/nlp/relex2logic/rule-helpers.scm +++ b/opencog/nlp/relex2logic/rule-helpers.scm @@ -619,6 +619,8 @@ (define (possessive-rule noun noun_instance word word_instance) (list (InheritanceLink (ConceptNode noun_instance) (ConceptNode noun)) (InheritanceLink (ConceptNode word_instance) (ConceptNode word)) + (r2l-wordinst-concept noun_instance) + (r2l-wordinst-concept word_instance) (EvaluationLink (PredicateNode "possession") (ListLink @@ -638,6 +640,10 @@ (InheritanceLink (ConceptNode o_instance) (ConceptNode o)) (ImplicationLink (PredicateNode v1_instance) (PredicateNode v1)) (ImplicationLink (PredicateNode v2_instance) (PredicateNode v2)) + (r2l-wordinst-concept s_instance) + (r2l-wordinst-concept o_instance) + (r2l-wordinst-Predicate v1_instance) + (r2l-wordinst-Predicate v2_instance) (EvaluationLink (PredicateNode v1_instance) (ListLink @@ -661,6 +667,11 @@ (InheritanceLink (ConceptNode o_instance) (ConceptNode o)) (ImplicationLink (PredicateNode v1_instance) (PredicateNode v1)) (ImplicationLink (PredicateNode v2_instance) (PredicateNode v2)) + (r2l-wordinst-concept s1_instance) + (r2l-wordinst-concept s2_instance) + (r2l-wordinst-concept o_instance) + (r2l-wordinst-Predicate v1_instance) + (r2l-wordinst-Predicate v2_instance) (EvaluationLink (PredicateNode v1_instance) (ListLink @@ -682,6 +693,9 @@ (list (InheritanceLink (ConceptNode v1_instance) (ConceptNode v1)) (ImplicationLink (PredicateNode v2_instance) (PredicateNode v2)) (InheritanceLink (ConceptNode v3_instance) (ConceptNode v3)) + (r2l-wordinst-concept v1_instance) + (r2l-wordinst-concept v3_instance) + (r2l-wordinst-Predicate v2_instance) (EvaluationLink (PredicateNode v2_instance) (ListLink ; does this ListLink make sense here? (by sebastianruder) @@ -697,6 +711,8 @@ (define (to-do-rule-4 v1 v1_instance v2 v2_instance) (list (InheritanceLink (ConceptNode v2_instance) (ConceptNode v2)) (ImplicationLink (PredicateNode v1_instance) (PredicateNode v1)) + (r2l-wordinst-concept v2_instance) + (r2l-wordinst-Predicate v1_instance) (EvaluationLink (PredicateNode "able_to") (ListLink @@ -712,6 +728,9 @@ (list (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj)) (ImplicationLink (PredicateNode verb1_instance) (PredicateNode verb1)) (ImplicationLink (PredicateNode verb2_instance) (PredicateNode verb2)) + (r2l-wordinst-concept subj_instance) + (r2l-wordinst-Predicate verb1_instance) + (r2l-wordinst-Predicate verb2_instance) (EvaluationLink (PredicateNode verb1_instance) (ListLink @@ -735,6 +754,7 @@ (let ((var_name (choose-var-name))) (list (ImplicationLink (PredicateNode verb_instance) (PredicateNode verb)) + (r2l-wordinst-Predicate verb_instance) (EvaluationLink (PredicateNode "AtPlace") (ListLink @@ -752,6 +772,7 @@ (let ((var_name (choose-var-name))) (list (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) + (r2l-wordinst-concept subj_instance) (EvaluationLink (PredicateNode "AtPlace") (ListLink @@ -773,6 +794,7 @@ (let ((var_name (choose-var-name))) (list (ImplicationLink (PredicateNode verb_instance) (PredicateNode verb)) + (r2l-wordinst-Predicate verb_instance) (AtTimeLink (VariableNode var_name) (PredicateNode verb_instance) @@ -787,6 +809,7 @@ (let ((var_name (choose-var-name))) (list (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) + (r2l-wordinst-concept subj_instance) (AtTimeLink (VariableNode var_name) (ConceptNode subj_instance) From fc9a21266631c2b7c7a5ecae67a6b957d06a509d Mon Sep 17 00:00:00 2001 From: rodsol Date: Thu, 3 Sep 2015 13:29:03 +0300 Subject: [PATCH 2/3] call from the rest of the helpers --- opencog/nlp/relex2logic/rule-helpers.scm | 53 ++++++++++++++++++++++++ 1 file changed, 53 insertions(+) diff --git a/opencog/nlp/relex2logic/rule-helpers.scm b/opencog/nlp/relex2logic/rule-helpers.scm index 572edfafd69..06ea6f59032 100644 --- a/opencog/nlp/relex2logic/rule-helpers.scm +++ b/opencog/nlp/relex2logic/rule-helpers.scm @@ -828,6 +828,7 @@ (let ((var_name (choose-var-name))) (list (ImplicationLink (PredicateNode verb_instance) (PredicateNode verb)) + (r2l-wordinst-Predicate verb_instance) (EvaluationLink (PredicateNode "Because") (ListLink @@ -845,6 +846,7 @@ (let ((var_name (choose-var-name))) (list (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) + (r2l-wordinst-concept subj_instance) (EvaluationLink (PredicateNode "Because") (ListLink @@ -865,6 +867,7 @@ (let ((var_name (choose-var-name))) (list (ImplicationLink (PredicateNode verb_instance) (PredicateNode verb)) + (r2l-wordinst-Predicate verb_instance) (EvaluationLink (PredicateNode "InManner") (ListLink @@ -885,6 +888,7 @@ (let ((var_name (choose-var-name))) (list (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) + (r2l-wordinst-concept subj_instance) (InheritanceLink (ConceptNode subj_instance) (VariableNode var_name)) ) ) @@ -902,6 +906,7 @@ (let ((var_name (choose-var-name))) (list (InheritanceLink (ConceptNode instance) (ConceptNode concept)) + (r2l-wordinst-concept instance) (QuantityLink (ConceptNode instance) (VariableNode var_name) @@ -916,6 +921,7 @@ (let ((var_name (choose-var-name))) (list (InheritanceLink (ConceptNode instance) (ConceptNode concept)) + (r2l-wordinst-concept instance) (EvaluationLink (PredicateNode "DegreeLink") (ListLink @@ -947,6 +953,9 @@ (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) (InheritanceLink (ConceptNode obj_instance) (ConceptNode obj_concept)) (InheritanceLink (VariableNode var_name) (ConceptNode obj_instance)) + (r2l-wordinst-concept subj_instance) + (r2l-wordinst-concept obj_instance) + (r2l-wordinst-Predicate verb_instance) (SatisfyingSetLink (VariableNode var_name) (EvaluationLink (PredicateNode verb_instance) @@ -969,6 +978,9 @@ (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) (ImplicationLink (PredicateNode obj_instance) (PredicateNode obj_concept)) (InheritanceLink (VariableNode var_name) (ConceptNode subj_instance)) + (r2l-wordinst-concept subj_instance) + (r2l-wordinst-concept obj_instance) + (r2l-wordinst-Predicate verb_instance) (SatisfyingSetLink (VariableNode var_name) (EvaluationLink (PredicateNode verb_instance) @@ -992,6 +1004,10 @@ (InheritanceLink (ConceptNode obj_instance) (ConceptNode obj_concept)) (InheritanceLink (ConceptNode iobj_instance) (ConceptNode iobj_concept)) (InheritanceLink (VariableNode var_name) (ConceptNode iobj_instance)) + (r2l-wordinst-concept subj_instance) + (r2l-wordinst-concept obj_instance) + (r2l-wordinst-concept iobj_instance) + (r2l-wordinst-Predicate verb_instance) (SatisfyingSetLink (VariableNode var_name) (EvaluationLink (PredicateNode verb_instance) @@ -1014,6 +1030,8 @@ (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) (InheritanceLink (VariableNode var_name) (ConceptNode subj_instance) ) + (r2l-wordinst-concept subj_instance) + (r2l-wordinst-Predicate pred_instance) (SatisfyingSetLink ; (ScopeLink ;; not yet supported !? Huhh ?? (VariableNode var_name) @@ -1039,6 +1057,7 @@ ; "All right-handed Canadians write." -> (all-rule "Canadians@333") (define (all-rule noun_instance) (list + (r2l-wordinst-concept noun_instance) (EvaluationLink (PredicateNode "allmarker") (ListLink @@ -1057,6 +1076,9 @@ (list (ImplicationLink (PredicateNode verb_instance) (PredicateNode verb)) (InheritanceLink (ConceptNode obj_instance) (ConceptNode obj)) (InheritanceLink (ConceptNode passive_obj_instance) (ConceptNode passive_obj)) + (r2l-wordinst-concept obj_instance) + (r2l-wordinst-concept passive_obj_instance) + (r2l-wordinst-Predicate verb_instance) (EvaluationLink (PredicateNode verb_instance) (ListLink @@ -1072,6 +1094,8 @@ (list (ImplicationLink (PredicateNode verb_instance) (PredicateNode verb)) (InheritanceLink (ConceptNode obj_instance) (ConceptNode obj)) + (r2l-wordinst-concept obj_instance) + (r2l-wordinst-Predicate verb_instance) (EvaluationLink (PredicateNode verb_instance) (ListLink @@ -1095,6 +1119,8 @@ (cond [(equal? pos "verb") (list (ImplicationLink (PredicateNode var1_instance) (PredicateNode var1)) (ImplicationLink (PredicateNode var2_instance) (PredicateNode var2)) + (r2l-wordinst-Predicate var1_instance) + (r2l-wordinst-Predicate var2_instance) (EvaluationLink (PredicateNode "and") (ListLink @@ -1105,6 +1131,8 @@ [else (list (InheritanceLink (ConceptNode var1_instance) (ConceptNode var1)) (InheritanceLink (ConceptNode var2_instance) (ConceptNode var2)) + (r2l-wordinst-concept var1_instance) + (r2l-wordinst-concept var2_instance) (EvaluationLink (PredicateNode "and") (ListLink @@ -1118,6 +1146,8 @@ (cond [(equal? pos "verb") (list (ImplicationLink (PredicateNode var1_instance) (PredicateNode var1)) (ImplicationLink (PredicateNode var2_instance) (PredicateNode var2)) + (r2l-wordinst-Predicate var1_instance) + (r2l-wordinst-Predicate var2_instance) (EvaluationLink (PredicateNode "but") (ListLink @@ -1128,6 +1158,8 @@ [else (list (InheritanceLink (ConceptNode var1_instance) (ConceptNode var1)) (InheritanceLink (ConceptNode var2_instance) (ConceptNode var2)) + (r2l-wordinst-concept var1_instance) + (r2l-wordinst-concept var2_instance) (EvaluationLink (PredicateNode "but") (ListLink @@ -1141,6 +1173,8 @@ (cond [(equal? pos "verb") (list (ImplicationLink (PredicateNode var1_instance) (PredicateNode var1)) (ImplicationLink (PredicateNode var2_instance) (PredicateNode var2)) + (r2l-wordinst-Predicate var1_instance) + (r2l-wordinst-Predicate var2_instance) (EvaluationLink (PredicateNode "or") (ListLink @@ -1151,6 +1185,8 @@ [else (list (InheritanceLink (ConceptNode var1_instance) (ConceptNode var1)) (InheritanceLink (ConceptNode var2_instance) (ConceptNode var2)) + (r2l-wordinst-concept var1_instance) + (r2l-wordinst-concept var2_instance) (EvaluationLink (PredicateNode "or") (ListLink @@ -1167,6 +1203,8 @@ (list (ImplicationLink (PredicateNode comp_instance) (PredicateNode comp_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) + (r2l-wordinst-Predicate comp_instance) + (r2l-wordinst-Predicate pred_instance) (EvaluationLink (PredicateNode comp_instance) (ListLink @@ -1180,6 +1218,8 @@ (list (ImplicationLink (PredicateNode comp_instance) (PredicateNode comp_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) + (r2l-wordinst-Predicate comp_instance) + (r2l-wordinst-Predicate pred_instance) (EvaluationLink (PredicateNode "InManner") (ListLink @@ -1194,6 +1234,8 @@ (list (ImplicationLink (PredicateNode comp_instance) (PredicateNode comp_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) + (r2l-wordinst-Predicate comp_instance) + (r2l-wordinst-Predicate pred_instance) (EvaluationLink (PredicateNode "Because") (ListLink @@ -1208,6 +1250,8 @@ (list (ImplicationLink (PredicateNode comp_instance) (PredicateNode comp_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) + (r2l-wordinst-Predicate comp_instance) + (r2l-wordinst-Predicate pred_instance) (AtTimeLink) (PredicateNode pred_instance) (ConceptNode comp_instance) @@ -1218,6 +1262,8 @@ (list (ImplicationLink (PredicateNode comp_instance) (PredicateNode comp_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) + (r2l-wordinst-Predicate comp_instance) + (r2l-wordinst-Predicate pred_instance) (EvaluationLink (PredicateNode pred_instance) (ListLink @@ -1236,6 +1282,8 @@ (list (ImplicationLink (PredicateNode main_instance) (PredicateNode main)) (ImplicationLink (PredicateNode sub_instance) (PredicateNode sub)) + (r2l-wordinst-Predicate main_instance) + (r2l-wordinst-Predicate sub_instance) (EvaluationLink (PredicateNode "that") (ListLink @@ -1289,6 +1337,9 @@ (list (InheritanceLink (ConceptNode adj_instance) (ConceptNode adj)) (InheritanceLink (ConceptNode w1_instance) (ConceptNode w1)) (InheritanceLink (ConceptNode w2_instance) (ConceptNode w2)) + (r2l-wordinst-concept adj_instance) + (r2l-wordinst-concept w1_instance) + (r2l-wordinst-concept w2_instance) (TruthValueGreaterThanLink (InheritanceLink (ConceptNode w1_instance) (ConceptNode adj_instance)) (InheritanceLink (ConceptNode w2_instance) (ConceptNode adj_instance)) @@ -1298,6 +1349,8 @@ (define (on-rule w1 w1_instance w2 w2_instance) (list (InheritanceLink (ConceptNode w1_instance) (ConceptNode w1)) (InheritanceLink (ConceptNode w2_instance) (ConceptNode w2)) + (r2l-wordinst-concept w1_instance) + (r2l-wordinst-concept w2_instance) (EvaluationLink (PredicateNode "on") (ListLink From 35fc41c82671d6f60e83337aee3048b4cf3c3be9 Mon Sep 17 00:00:00 2001 From: rodsol Date: Sat, 5 Sep 2015 11:58:34 +0300 Subject: [PATCH 3/3] clean space --- opencog/nlp/relex2logic/rule-helpers.scm | 107 +++++++++++------------ 1 file changed, 53 insertions(+), 54 deletions(-) diff --git a/opencog/nlp/relex2logic/rule-helpers.scm b/opencog/nlp/relex2logic/rule-helpers.scm index 06ea6f59032..1beb933ff36 100644 --- a/opencog/nlp/relex2logic/rule-helpers.scm +++ b/opencog/nlp/relex2logic/rule-helpers.scm @@ -828,7 +828,7 @@ (let ((var_name (choose-var-name))) (list (ImplicationLink (PredicateNode verb_instance) (PredicateNode verb)) - (r2l-wordinst-Predicate verb_instance) + (r2l-wordinst-Predicate verb_instance) (EvaluationLink (PredicateNode "Because") (ListLink @@ -846,7 +846,7 @@ (let ((var_name (choose-var-name))) (list (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) - (r2l-wordinst-concept subj_instance) + (r2l-wordinst-concept subj_instance) (EvaluationLink (PredicateNode "Because") (ListLink @@ -867,7 +867,7 @@ (let ((var_name (choose-var-name))) (list (ImplicationLink (PredicateNode verb_instance) (PredicateNode verb)) - (r2l-wordinst-Predicate verb_instance) + (r2l-wordinst-Predicate verb_instance) (EvaluationLink (PredicateNode "InManner") (ListLink @@ -888,7 +888,7 @@ (let ((var_name (choose-var-name))) (list (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) - (r2l-wordinst-concept subj_instance) + (r2l-wordinst-concept subj_instance) (InheritanceLink (ConceptNode subj_instance) (VariableNode var_name)) ) ) @@ -906,7 +906,7 @@ (let ((var_name (choose-var-name))) (list (InheritanceLink (ConceptNode instance) (ConceptNode concept)) - (r2l-wordinst-concept instance) + (r2l-wordinst-concept instance) (QuantityLink (ConceptNode instance) (VariableNode var_name) @@ -921,7 +921,7 @@ (let ((var_name (choose-var-name))) (list (InheritanceLink (ConceptNode instance) (ConceptNode concept)) - (r2l-wordinst-concept instance) + (r2l-wordinst-concept instance) (EvaluationLink (PredicateNode "DegreeLink") (ListLink @@ -953,9 +953,9 @@ (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) (InheritanceLink (ConceptNode obj_instance) (ConceptNode obj_concept)) (InheritanceLink (VariableNode var_name) (ConceptNode obj_instance)) - (r2l-wordinst-concept subj_instance) - (r2l-wordinst-concept obj_instance) - (r2l-wordinst-Predicate verb_instance) + (r2l-wordinst-concept subj_instance) + (r2l-wordinst-concept obj_instance) + (r2l-wordinst-Predicate verb_instance) (SatisfyingSetLink (VariableNode var_name) (EvaluationLink (PredicateNode verb_instance) @@ -978,9 +978,9 @@ (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) (ImplicationLink (PredicateNode obj_instance) (PredicateNode obj_concept)) (InheritanceLink (VariableNode var_name) (ConceptNode subj_instance)) - (r2l-wordinst-concept subj_instance) - (r2l-wordinst-concept obj_instance) - (r2l-wordinst-Predicate verb_instance) + (r2l-wordinst-concept subj_instance) + (r2l-wordinst-concept obj_instance) + (r2l-wordinst-Predicate verb_instance) (SatisfyingSetLink (VariableNode var_name) (EvaluationLink (PredicateNode verb_instance) @@ -1004,10 +1004,10 @@ (InheritanceLink (ConceptNode obj_instance) (ConceptNode obj_concept)) (InheritanceLink (ConceptNode iobj_instance) (ConceptNode iobj_concept)) (InheritanceLink (VariableNode var_name) (ConceptNode iobj_instance)) - (r2l-wordinst-concept subj_instance) - (r2l-wordinst-concept obj_instance) - (r2l-wordinst-concept iobj_instance) - (r2l-wordinst-Predicate verb_instance) + (r2l-wordinst-concept subj_instance) + (r2l-wordinst-concept obj_instance) + (r2l-wordinst-concept iobj_instance) + (r2l-wordinst-Predicate verb_instance) (SatisfyingSetLink (VariableNode var_name) (EvaluationLink (PredicateNode verb_instance) @@ -1030,8 +1030,8 @@ (InheritanceLink (ConceptNode subj_instance) (ConceptNode subj_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) (InheritanceLink (VariableNode var_name) (ConceptNode subj_instance) ) - (r2l-wordinst-concept subj_instance) - (r2l-wordinst-Predicate pred_instance) + (r2l-wordinst-concept subj_instance) + (r2l-wordinst-Predicate pred_instance) (SatisfyingSetLink ; (ScopeLink ;; not yet supported !? Huhh ?? (VariableNode var_name) @@ -1057,7 +1057,7 @@ ; "All right-handed Canadians write." -> (all-rule "Canadians@333") (define (all-rule noun_instance) (list - (r2l-wordinst-concept noun_instance) + (r2l-wordinst-concept noun_instance) (EvaluationLink (PredicateNode "allmarker") (ListLink @@ -1076,9 +1076,9 @@ (list (ImplicationLink (PredicateNode verb_instance) (PredicateNode verb)) (InheritanceLink (ConceptNode obj_instance) (ConceptNode obj)) (InheritanceLink (ConceptNode passive_obj_instance) (ConceptNode passive_obj)) - (r2l-wordinst-concept obj_instance) - (r2l-wordinst-concept passive_obj_instance) - (r2l-wordinst-Predicate verb_instance) + (r2l-wordinst-concept obj_instance) + (r2l-wordinst-concept passive_obj_instance) + (r2l-wordinst-Predicate verb_instance) (EvaluationLink (PredicateNode verb_instance) (ListLink @@ -1094,8 +1094,8 @@ (list (ImplicationLink (PredicateNode verb_instance) (PredicateNode verb)) (InheritanceLink (ConceptNode obj_instance) (ConceptNode obj)) - (r2l-wordinst-concept obj_instance) - (r2l-wordinst-Predicate verb_instance) + (r2l-wordinst-concept obj_instance) + (r2l-wordinst-Predicate verb_instance) (EvaluationLink (PredicateNode verb_instance) (ListLink @@ -1119,8 +1119,8 @@ (cond [(equal? pos "verb") (list (ImplicationLink (PredicateNode var1_instance) (PredicateNode var1)) (ImplicationLink (PredicateNode var2_instance) (PredicateNode var2)) - (r2l-wordinst-Predicate var1_instance) - (r2l-wordinst-Predicate var2_instance) + (r2l-wordinst-Predicate var1_instance) + (r2l-wordinst-Predicate var2_instance) (EvaluationLink (PredicateNode "and") (ListLink @@ -1131,8 +1131,8 @@ [else (list (InheritanceLink (ConceptNode var1_instance) (ConceptNode var1)) (InheritanceLink (ConceptNode var2_instance) (ConceptNode var2)) - (r2l-wordinst-concept var1_instance) - (r2l-wordinst-concept var2_instance) + (r2l-wordinst-concept var1_instance) + (r2l-wordinst-concept var2_instance) (EvaluationLink (PredicateNode "and") (ListLink @@ -1146,8 +1146,8 @@ (cond [(equal? pos "verb") (list (ImplicationLink (PredicateNode var1_instance) (PredicateNode var1)) (ImplicationLink (PredicateNode var2_instance) (PredicateNode var2)) - (r2l-wordinst-Predicate var1_instance) - (r2l-wordinst-Predicate var2_instance) + (r2l-wordinst-Predicate var1_instance) + (r2l-wordinst-Predicate var2_instance) (EvaluationLink (PredicateNode "but") (ListLink @@ -1157,9 +1157,8 @@ ))] [else (list (InheritanceLink (ConceptNode var1_instance) (ConceptNode var1)) - (InheritanceLink (ConceptNode var2_instance) (ConceptNode var2)) - (r2l-wordinst-concept var1_instance) - (r2l-wordinst-concept var2_instance) + (r2l-wordinst-concept var1_instance) + (r2l-wordinst-concept var2_instance) (EvaluationLink (PredicateNode "but") (ListLink @@ -1173,8 +1172,8 @@ (cond [(equal? pos "verb") (list (ImplicationLink (PredicateNode var1_instance) (PredicateNode var1)) (ImplicationLink (PredicateNode var2_instance) (PredicateNode var2)) - (r2l-wordinst-Predicate var1_instance) - (r2l-wordinst-Predicate var2_instance) + (r2l-wordinst-Predicate var1_instance) + (r2l-wordinst-Predicate var2_instance) (EvaluationLink (PredicateNode "or") (ListLink @@ -1185,8 +1184,8 @@ [else (list (InheritanceLink (ConceptNode var1_instance) (ConceptNode var1)) (InheritanceLink (ConceptNode var2_instance) (ConceptNode var2)) - (r2l-wordinst-concept var1_instance) - (r2l-wordinst-concept var2_instance) + (r2l-wordinst-concept var1_instance) + (r2l-wordinst-concept var2_instance) (EvaluationLink (PredicateNode "or") (ListLink @@ -1203,8 +1202,8 @@ (list (ImplicationLink (PredicateNode comp_instance) (PredicateNode comp_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) - (r2l-wordinst-Predicate comp_instance) - (r2l-wordinst-Predicate pred_instance) + (r2l-wordinst-Predicate comp_instance) + (r2l-wordinst-Predicate pred_instance) (EvaluationLink (PredicateNode comp_instance) (ListLink @@ -1218,8 +1217,8 @@ (list (ImplicationLink (PredicateNode comp_instance) (PredicateNode comp_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) - (r2l-wordinst-Predicate comp_instance) - (r2l-wordinst-Predicate pred_instance) + (r2l-wordinst-Predicate comp_instance) + (r2l-wordinst-Predicate pred_instance) (EvaluationLink (PredicateNode "InManner") (ListLink @@ -1234,8 +1233,8 @@ (list (ImplicationLink (PredicateNode comp_instance) (PredicateNode comp_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) - (r2l-wordinst-Predicate comp_instance) - (r2l-wordinst-Predicate pred_instance) + (r2l-wordinst-Predicate comp_instance) + (r2l-wordinst-Predicate pred_instance) (EvaluationLink (PredicateNode "Because") (ListLink @@ -1250,8 +1249,8 @@ (list (ImplicationLink (PredicateNode comp_instance) (PredicateNode comp_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) - (r2l-wordinst-Predicate comp_instance) - (r2l-wordinst-Predicate pred_instance) + (r2l-wordinst-Predicate comp_instance) + (r2l-wordinst-Predicate pred_instance) (AtTimeLink) (PredicateNode pred_instance) (ConceptNode comp_instance) @@ -1262,8 +1261,8 @@ (list (ImplicationLink (PredicateNode comp_instance) (PredicateNode comp_concept)) (ImplicationLink (PredicateNode pred_instance) (PredicateNode pred_concept)) - (r2l-wordinst-Predicate comp_instance) - (r2l-wordinst-Predicate pred_instance) + (r2l-wordinst-Predicate comp_instance) + (r2l-wordinst-Predicate pred_instance) (EvaluationLink (PredicateNode pred_instance) (ListLink @@ -1282,8 +1281,8 @@ (list (ImplicationLink (PredicateNode main_instance) (PredicateNode main)) (ImplicationLink (PredicateNode sub_instance) (PredicateNode sub)) - (r2l-wordinst-Predicate main_instance) - (r2l-wordinst-Predicate sub_instance) + (r2l-wordinst-Predicate main_instance) + (r2l-wordinst-Predicate sub_instance) (EvaluationLink (PredicateNode "that") (ListLink @@ -1337,9 +1336,9 @@ (list (InheritanceLink (ConceptNode adj_instance) (ConceptNode adj)) (InheritanceLink (ConceptNode w1_instance) (ConceptNode w1)) (InheritanceLink (ConceptNode w2_instance) (ConceptNode w2)) - (r2l-wordinst-concept adj_instance) - (r2l-wordinst-concept w1_instance) - (r2l-wordinst-concept w2_instance) + (r2l-wordinst-concept adj_instance) + (r2l-wordinst-concept w1_instance) + (r2l-wordinst-concept w2_instance) (TruthValueGreaterThanLink (InheritanceLink (ConceptNode w1_instance) (ConceptNode adj_instance)) (InheritanceLink (ConceptNode w2_instance) (ConceptNode adj_instance)) @@ -1349,8 +1348,8 @@ (define (on-rule w1 w1_instance w2 w2_instance) (list (InheritanceLink (ConceptNode w1_instance) (ConceptNode w1)) (InheritanceLink (ConceptNode w2_instance) (ConceptNode w2)) - (r2l-wordinst-concept w1_instance) - (r2l-wordinst-concept w2_instance) + (r2l-wordinst-concept w1_instance) + (r2l-wordinst-concept w2_instance) (EvaluationLink (PredicateNode "on") (ListLink