Data Structures

Table structures.

Standard Field Names:    object1 class, object1, relation, object2 class, object2

Standard field sizes: (4)- (100)- (200)-(100)- (100)- (200)-

Agenda is a sequential table holding the unprocessed inputs.

 Content:    speaker type, speaker name, action, statement type, statement

 English table holds the rules for interpretation of inputs and translation of outputs for each language, i.e., English, etc.

 Content:    pattern type, pattern, action type, pattern type, pattern

 
1: pattern---I do not understand---transforms to---choice---I don't get English sentence
2: pattern---I do not understand---transforms to---choice---What do you mean by English sentence
3: pattern---I don't know.---transforms to---choice---I don't know.
4: pattern---I don't know.---transforms to---choice---You got me.
5: pattern---I don't know.---transforms to---choice---Who knows.
6: pattern---is * *[?]---converts to---command---verify %1 is %2.
7: structure---paragraph---contains---structure---sentence + sentence
8: structure---sentence---contains---structure---[simple | compound | complex]
9: structure---simple---contains---structure---proposition + eos
10: structure---compound---contains---structure---proposition + conjunction + propostion + eos
11: structure---complex---contains---structure---proposition + conjunction + propostion + eos
12: structure---proposition---contains---structure---term(X) + cupola + term(Y)
13: structure---term---contains---structure---["set" word | "set" phrase | "element" word |"element" phrase]
14: structure---cupola---contains---structure---["is" word | "is" phrase]
15: pattern---tell me a joke.---converts to---command---joker random.
16: pattern---joker *.---accepts---form---term
17: pattern---my friend * made statement *.---transforms to---alternate---%1 said %2.
18: pattern---validate *.---accepts---form---relationship-is
19: sentence---since * and *, therefore *.|since * is a * and *s are *s, therefore * is a *.---parses to---syllogism---%2.,%1.,validate %3.
20: term---since---replaces---synonym---because|for|given that|due to|insofar as|inasmuch as|in view of|as shown by|can be inferred from|on the ground that
21: term---therefore---replaces---synonym---thus|accordingly|it follows that|implies that|hence|consequently|so|we may infer that|we may conclude that|in conclusion
22: sentence---* and *, therefore *.|* is a * and *s are *s, therefore * is a *.---parses to---syllogism---%2.,%1.,validate %3.
23: sentence---since * and *, therefore *.|since *s are *s and * is a *, therefore * is a *.---parses to---syllogism---%1.,%2.,validate %3.
24: sentence---* and *, therefore *.| *s are *s and * is a *, therefore * is a *.---parses to---syllogism---%1.,%2.,validate %3.
25: sentence---* in *.---parses to---phrase---in %2
26: pattern---I know.---transforms to---choice---Yes, that;s true.
27: pattern---I know.---transforms to---choice---I agree.
28: pattern---I know.---transforms to---choice---Yes, I agree.
29: pattern---I know.---transforms to---choice---I know.
30: sentence---* but *.---parses to---clauses---%1.%2.
31: pattern---prop.*.and.prop.*.---translates to---compound---%1 and %2.
32: pattern---prop.*.but.prop.*.---translates to---compound---%1 but %2.
33: pattern---set.*.contains the.element.*.+set.*.contains all.set.%1.+---consolidates to---standard---proposition.set-%1-contains the-element-%2-.and.proposition.set-%3-contains all-set-%1-.
34: pattern---*.*.contains the.*.*.+*.*.describes the.*.%4.+---consolidates to---standard---set.%6_=%2.contains the.element.%4.
35: pattern---repeat *.---accepts---form---term
36: pattern---what did you say[?]---converts to---command---repeat last statement.
37: pattern---harry is *.---transforms to---alternate---I am %1.
38: word---yourself---converts to---word---harry
39: word---you're---converts to---word---harry is
40: word---I am---converts to---word---[username] is
41: word---I'm---converts to---word---[username] is
42: word---myself---converts to---word---[username]
43: pattern---Show me what we were talking about last time.---converts to---command---showconversation prior conversation.
44: pattern---showconversation *.---accepts---form---term
45: pattern---* is a *.---converts to---standard---set.%2.contains the.element.%1.
46: pattern---*s are not *s.---converts to---standard---set.%2.contains not all.set.%1.
47: pattern---some *s are not *s.---converts to---standard---set.%2.contains not some.set.%1.
48: pattern---some *s are not *.---converts to---standard---attribute.%2.describes not some.set.%1.
49: pattern---some *s are *s.---converts to---standard---set.%2.contains some.set.%1.
50: pattern---set.*.contains all.set.*.---translates to---natural---%2s are %1s.
51: pattern---a| a [aeiouAEIOU]---transforms to---word---an
52: pattern---is * a *[?]---converts to---command---verify %1 is a %2.
53: pattern---attribute.*.describes all.set.*.---translates to---natural---%2s are %1.
54: pattern---attribute.*.describes the.element.*.---translates to---natural---%2 is %1.
55: pattern---set.*.contains the.element.*.---translates to---natural---%2 is a %1.
56: pattern---set.*.can * all.set.*.---translates to---natural---%1s %2 %3s.
57: pattern---set.*.can * all.attribute.*.---translates to---natural---%1s %2 %3.
58: pattern---element.*.can * all.attribute.*.---translates to---natural---%1 %2s %3.
59: pattern---describes all---refutes---pattern---describes not all
60: pattern---describes the---refutes---pattern---describes not the
61: pattern---describes not all---refutes---pattern---describes all
62: pattern---describes not the---refutes---pattern---describes the
63: attribute---female---opposes---attribute---male
64: attribute---male---opposes---attribute---female
65: pattern---attribute.*.describes not all.set.*.---translates to---natural---%2s are not %1.
66: pattern---attribute.*.describes not the.element.*.---translates to---natural---%2 is not %1.
67: pattern---set.*.contains not the.element.*.---translates to---natural---%2 is not a %1.
68: pattern---set.*.can * not all.set.*.---translates to---natural---%1s cannot %2 %3s.
69: pattern---set.*.can * not all.attribute.*.---translates to---natural---%1s cannot %2 %3.
70: pattern---element.*.can * not all.attribute.*.---translates to---natural---%1 cannot %2 %3.
71: pattern---element.*.can * not all.set.*.---translates to---natural---%1 cannot %2 %3s.
72: pattern---*s can * *s.---converts to---standard---set.%1.can %2 all.set.%3.
73: pattern---*s can * *.---converts to---standard---set.%1.can %2 all.attribute.%3.
74: pattern---*s cannot * *s.---converts to---standard---set.%1.can %2 not all.set.%3.
75: pattern---*s cannot * *.---converts to---standard---set.%1.can %2 not all.attribute.%3.
76: pattern---* cannot * *.---converts to---standard---element.%1.can %2 not all.attribute.%3.
77: pattern---* cannot * *s.---converts to---standard---element.%1.can %2 not all.set.%3.
78: pattern---* can * *.---converts to---standard---element.%1.can %2 all.attribute.%3.
79: pattern---* can * *s.---converts to---standard---element.%1.can %2 all.set.%3.
80: pattern---contains all---refutes---pattern---contains not all
81: pattern---contains the---refutes---pattern---contains not the
82: pattern---contains not all---refutes---pattern---contains all
83: pattern---contains not the---refutes---pattern---contains the
84: pattern---* prior conversation.---converts to---standard---set.term.contains.element.prior conversation.
85: word---you are---converts to---word---harry is
86: pattern---is * in *[?]---converts to---command---verify %1 is in %2.
87: pattern---where is *[?]---converts to---command---locate %1.
88: pattern---*.*.located at the.*.*.+*.%4.located in the.*.*.+---consolidates to---standard---%1.%2.located in the.%6.%7.
89: pattern---*.*.located in the.*.*.+*.%4.located in the.*.*.+---consolidates to---standard---%1.%2.located in the.%6.%7.
90: word---you---converts to---word---harry
91: pattern---element.*.can * all.set.*.---translates to---natural---%1 %2s %3s.
92: pattern---element.harry.can * all.set.*.---translates to---natural---I %1 %2s.
93: pattern---I am *.---transforms to---choice---I'm %1.
94: pattern---why is * a *[?]---converts to---command---prove %1 is a %2.
95: pattern---why[?]---converts to---command---prove [last statement]
96: pattern---No *s are non-*s.---converts to---standard---set.%2.contains all.set.%1.
97: pattern---All non-*s are non-*s.---converts to---standard---set.%2.contains all.set.%1.
98: pattern---*s are not *s.---converts to---standard---set%1.contains not all.set.%2.
99: pattern---conduct *.---accepts---form---relationship-is
100: word---person---converts to---word---human
101: pattern---location.*.describes the.element.*.---translates to---natural---%2 is %1.
102: pattern---location.where.describes the.element.*.---translates to---natural---where is %1.
103: pattern---* is in *.---converts to---standard---location.in %2.describes the.element.%1.
104: pattern---identify *.---accepts---form---relationship-is
105: pattern---* will be *.---converts to---standard---attribute.%2.describes willbe the.element.%1.
106: pattern---attribute.*.describes not some.set.*.---translates to---natural---some %2s are not %1.
107: pattern---some *s are *.---converts to---standard---attribute.%2.describes some.set.%1.
108: pattern---*s are not *.---converts to---standard---attribute.%2.describes not all.set.%1.
109: pattern---*s are *.---converts to---standard---attribute.%2.describes all.set.%1.
110: pattern---*s consist of *s.---converts to---standard---set.%2.partof all.set.%1.
111: pattern---set.*.partof all.set.*.---translates to---natural---%2s consist of %1s.
112: pattern---problem *.---accepts---form---relationship-is
113: pattern---problem * contains categories *.---converts to---standard---problem.%1.contains.category.%2,.
114: pattern---category * contains item *.---converts to---standard---category.%1.contains.item.%2.
115: pattern---problem * contains clue *.---converts to---standard---problem.%1.contains.clue.%2,.
116: pattern---solve problem *.---converts to---standard---problem.%1.contains.solve.%1.
117: pattern---can * all---refutes---pattern---can %1 not all
118: pattern---can * the---refutes---pattern---can %1 not the
119: pattern---can * not all---refutes---pattern---can %1 all
120: pattern---can * not the---refutes---pattern---can %1 the
121: pattern---* to *.---converts to---standard---term.%1.to.term.%2.
122: pattern---* and *.---converts to---standard---term.%1.and.term.%2.
123: pattern---* is *[?]---transforms to---alternate---Is %1 %2?
124: pattern---* with *.---converts to---standard---term.%1.and.term.%2.
125: pattern---attribute.*.describes the.imaginary element.*.---translates to---natural---the imaginary %2 is %1.
126: pattern---* is not a *.---converts to---standard---set.%2.contains not the.element.%1.
127: pattern---* is not *.---converts to---standard---attribute.%2.describes not the.element.%1.
128: pattern---element.*.appears * like.element.*.---translates to---natural---%1 is %2 like %3.
129: pattern---attribute.*.describes all.set.*.---translates to---descriptive---attribute %1 describes all %2s.
130: pattern---attribute.*.describes the.element.*.---translates to---descriptive---attribute %1 describes the element %2.
131: pattern---set.*.contains the.elements.*.---translates to---natural---%2 are %1s.
132: pattern---set.*.can * some.set.*.---translates to---natural---%1s %2 some %3s.
133: pattern---set.*.can * some.set.*.---translates to---inverse---Some %3s are %2d by %1s.
134: pattern---element.*.can * all.set.*.---translates to---inverse---%3s are %2n by %1.
135: pattern---element.*.can * not all.set.*.---translates to---inverse---%3s are not %2n by %1.
136: pattern---flyn---transforms to---word---flown
137: pattern---what * does.---converts to---standard---term.%1.does *.*.*.
138: pattern---see you later.---transforms to---choice---See you soon.
139: pattern---see you later.---transforms to---choice---Hurry back.
140: pattern---see you later.---transforms to---choice---see you later.
141: pattern---* * does * * *.---converts to---standard---%1.%2.does %3.%4.%5.
142: pattern---thank you.---transforms to---choice---thank you.
143: pattern---thank you.---transforms to---choice---it's been a pleasure.
144: pattern---thank you.---transforms to---choice---I've enjoyed our encounter.
145: pattern---what * does after *.---converts to---standard---term.%1.does after.relationship.%2.
146: pattern---what * does before *.---converts to---standard---term.%1.does before.relationship.%2.
147: pattern---event.* * does * * *.may cause.event.* * does * * *.---translates to---natural---%2 %3s %5 may cause %7 to %8 %10.
148: pattern---translate *_*_*_*_*_ into inverse form.---converts to---command---invert %1.%2.%3.%4.%5.
149: pattern---translate *_*_*_*_*_ into obverse form.---converts to---command---obvert %1.%2.%3.%4.%5.
150: pattern---set.*.contains all.set.*.---translates to---obverse---No %2s are non-%1s.
151: pattern---set.*.contains all.set.*.---translates to---contraverse---All non-%1s are non-%2s.
152: pattern---translate *_*_*_*_*_ into contraverse form.---converts to---command---contravert %1.%2.%3.%4.%5.
153: pattern---translate *_*_*_*_*_ into converse form.---converts to---command---convert2 %1.%2.%3.%4.%5.
154: pattern---set.*.contains not all.set.*.---translates to---natural---%2s are not %1s.
155: pattern---I have a problem called *.---converts to---standard---my friend.[currentuser].has.problem.%1.
156: pattern---I have a problem called *.---converts to---command---problem I have a problem called %1.
157: pattern---problem * contains categories *.---converts to---command---problem problem %1 contains categories %2.
158: pattern---category * contains item *.---converts to---command---problem category %1 contains item %2.
159: pattern---problem * contains clue *.---converts to---command---problem problem %1 contains clue %2.
160: pattern---solve problem *.---converts to---command---problem solve problem *.
161: pattern---structure * includes structure *.---converts to---standard---structure.%1.includes all.structure.%2.
162: pattern---structure * includes element *.---converts to---standard---structure.%1.includes the.element.%2.
163: pattern---name something with *.---converts to---standard---identify class %1.
164: pattern---name someone with *.---converts to---standard---identify element %1.
165: sentence---* is a * *.---parses to---clauses---%1 is %2. %1 is a %3.
166: sentence---* is * *.{attribute.%2. . . .}---parses to---clauses---%1 is %2. %1 is %3.
167: pattern---relateterrms *.---accepts---form---terms
168: pattern---relateterrms *.---converts to---command---relateterms %1.
169: pattern---support *.---accepts---form---relationship-is
170: pattern---why do harry think *[?]---converts to---command---support %1.
171: pattern---help *.---accepts---form---command
172: sentence---* * and *.---parses to---clauses---%1 %2. %1 %3.
173: sentence---* and *.---parses to---clauses---%1.%2.
174: pattern---attribute.*.describes poss all.set.*.---translates to---natural---%2s possibly are %1.
175: pattern---*s possibly are *.---converts to---standard---attribute.%2.describes poss all.set.%1.
176: sentence---* and * are *s.---parses to---clauses---%1 is a %3. %2 is a %3.
177: sentence---* and * are *.---parses to---clauses---%1 is %3. %2 is %3.
178: pattern---when harry hear * harry say *.---converts to---command---respondto %1 with %2.
179: pattern---term.*.responds with.term.*.---translates to---natural---harry says %2 when someone says %1.
180: sentence---when you hear * or * you say *.---parses to---clauses---when you hear %1 you say %3. When you hear %2 you say %3.
181: pattern---which * is a *[?]---converts to---command---identify %1 %2.
182: pattern---which * is *[?]---converts to---command---identify %1 %2.
183: pattern---{username} is---transforms to---alternate---You are
184: pattern---harry is *.---transforms to---alternate---I am %1.
185: pattern---* is at *.---converts to---standard---location.at %2.describes the.element.%1.
186: pattern---location.*.describes the.element.*.---translates to---natural---%2 is %1.
187: pattern---* is *.---converts to---standard---attribute.%2.describes the.element.%1.
188: pattern---* is on *.---converts to---standard---location.on %2.describes the.element.%1.
189: sentence---* is in * on *.---parses to---clauses---%1 is in %2. %1 is on %3.
190: pattern---is * on *[?]---converts to---command---verify %1 is on %2.
191: pattern---is * at *[?]---converts to---command---verify %1 is at %2.
192: I---Harry---made---statement---I am happy to help.
193: my friend---Owner---made---statement---learn {pattern^* is *'s *.^converts to^object.%1.is %3 of.object.%2.^.
194: my friend---Owner---made---statement---learn {pattern^* is *'s *.^converts to^object.%1.is %3 of.object.%2.^.
195: my friend---Owner---made---statement---learn {pattern^* is *'s *.^converts to^object.%1.is %3 of.object.%2.^.
196: pattern---who am I[?]---converts to---command---identify [username].
197: pattern---who are you[?]---converts to---command---identify harry.
198: pattern---* at the home.---transforms to---alternate---%1 at home.
199: pattern---tom is ugly.---transforms to---alternate--- You are %1.
200: pattern---* male human.---transforms to---alternate---%1 man.
201: procedure---QAHuman *.---accepts---form---&object+.+
202: procedure---describe *.---accepts---form---&object+.+
203: pattern---harry doesn't---transforms to---word---I don't
204: pattern---set.*.contains not the.element.*.---translates to---natural---%2 is not a %1.
205: pattern---set.*.contains not the.elements.*.---translates to---natural---neither %2 is a %1.
206: pattern---humans---transforms to---word---humans
207: pattern---human---transforms to---word---person
208: pattern---* is a what_ human.---transforms to---alternate---What kind of person is %1?
209: pattern---who is a *[?]---converts to---command---identify %1.
210: procedure---describePerson *.---accepts---form---&object+.+
211: procedure---describePlace *.---accepts---form---&object+.+
212: procedure---describeThing *.---accepts---form---&object+.+
213: procedure---describeEvent *.---accepts---form---&object+.+
214: procedure---describeConcept *.---accepts---form---&object+.+
215: procedure---describeOperation *.---accepts---form---&object+.+
216: procedure---greeting *.---accepts---form---&[username]+.+
217: pattern---tell *.---accepts---form---statement
218: pattern---settime *.---accepts---form---event time
219: pattern---when was *[?]---converts to---command---gettime %1.
220: pattern---*.*.does *.*.*.---translates to---natural---%2 %3s %5.
221: pattern---event.*.does happen.time.*.---translates to---natural---%1 %2.
222: pattern---* was * in the year *.---converts to---command---settime %1-%2 year-%3..
223: pattern---attribute.*.describes poss the.element.*.---translates to---natural---%2 is possibly %1.
224: pattern---* is possibly *.---converts to---standard---attribute.%2.describes poss the.element.%1.
225: sentence---if * then *.---parses to---syllogism---%1.,%2.,learnrule implies.,
226: pattern---learnrule *.---accepts---form---statement
227: sentence---* orx *.---parses to---syllogism---%1.,%2.,learnrule or.,
228: pattern---prop.*.implies.prop.*.---translates to---compound---if %1 then %2.
229: pattern---attribute.*.describes some.set.*.---translates to---natural---some %2s are %1.
230: sentence---when * then *.---parses to---syllogism---%1.,%2.,learnrule causes.,
231: pattern---attribute.*.describes willbe the.element.*.---translates to---natural---%2 will be %1.
232: pattern---set.*.contains the.element.*.---translates to---natural---%2 is a %1.
233: pattern---harry.is.unable to.process.*.---translates to---natural---I don't know.
234: pattern---harry *.---transforms to---alternate---I am unable to %1 %2.
235: pattern---what[?]---converts to---command---repeat last statement.
236: word---are you---converts to---word---is harry
237: pattern---*s are *s.---converts to---standard---set.%2.contains all.set.%1.
238: word---an---converts to---word---a
239: pattern---set.*.contains not all.set.*.---translates to---converse---%1s are not %2s.
240: pattern---* * does not * * *.---converts to---standard---%1.%2.does %3 not.%4.%5.
241: pattern---*.*.does * not.*.*.---translates to---natural---%2 does not %3 %5.
242: pattern---because *---transforms to---choice---since %1
243: pattern---* converts * to form * in *.---converts to---standard---pattern.%1.converts to.%3.%2.
244: pattern---abduce *.---accepts---form---term
245: pattern---acquire *.---accepts---form---term
246: pattern---analogize *.---accepts---form---term
247: pattern---challenge *.---accepts---form---relationship-is
248: pattern---characterize *.---accepts---form---term
249: pattern---classify *.---accepts---form---term
250: pattern---coin *.---accepts---form---term
251: pattern---compare *.---accepts---form---relationship-to
252: pattern---contravert *.---accepts---form---term
253: pattern---convert2 *.---accepts---form---term
254: pattern---ask *.---accepts---form---question
255: pattern---contrast *.---accepts---form---relationship-to
256: pattern---deduce *.---accepts---form---term
257: pattern---describe *.---accepts---form---term
258: pattern---discover *.---accepts---form---term
259: pattern---employ *.---accepts---form---term
260: pattern---exemplify *.---accepts---form---term
261: pattern---extractsentence *.---accepts---form---term
262: pattern---express *.---accepts---form---term
263: pattern---forget *.---accepts---form---relationship-is
264: pattern---forgetterm *.---accepts---form---term
265: pattern---generate *.---accepts---form---term
266: pattern---imagine *.---accepts---form---term
267: pattern---induce *.---accepts---form---term
268: pattern---invert *.---accepts---form---term
269: pattern---learn *.---accepts---form---term
270: pattern---millsmethod3 *.---accepts---form---term
271: pattern---obvert *.---accepts---form---term
272: pattern---oppose *.---accepts---form---relationship-is
273: pattern---prove *.---accepts---form---relationship-is,standard
274: pattern---utilize *.---accepts---form---term
275: pattern---recall *.---accepts---form---term
276: pattern---record *.---accepts---form---term
277: pattern---refute *.---accepts---form---relationship-is
278: pattern---relate *.---accepts---form---relationship-to
279: pattern---rename *.---accepts---form---relationship-with
280: pattern---remember *.---accepts---form---relationship-is
281: pattern---resolve *.---accepts---form---term
282: pattern---symbolize *.---accepts---form---term
283: pattern---transform *.---accepts---form---term
284: pattern---translate *.---accepts---form---relationship-into
285: pattern---unlearn *.---accepts---form---term
286: pattern---verify *.---accepts---form---relationship-is
287: pattern---respondto *.---accepts---form---term,relationship-with
288: pattern---invoke *.---accepts---form---role
289: pattern---what is a *[?]---converts to---command---classify %1.
290: pattern---what is a *.---converts to---command---classify %1.
291: pattern---what is *[?]---converts to---command---classify %1.
292: pattern---tell me about *.---converts to---command---describe %1.
293: pattern---what is *.---converts to---command---classify %1.
294: pattern---who is *[?]---converts to---command---identify %1.
295: pattern---what are *s[?]---converts to---command---classify %1.
296: pattern---what are *s.---converts to---command---classify %1.
297: pattern---locate *.---accepts---form---term
298: pattern---* is located at the *.---converts to---standard---location.%2.describes the.element.%1.
299: pattern---* went to the *.---converts to---command---relocate %1 is at the %2.
300: pattern---relocate *.---accepts---form---relationship
301: attribute---male---transforms to---pronoun---he
302: attribute---female---transforms to---pronoun---she
303: pattern---*.*.describes the.*.*.+*.*.describes the.*.%4.+---consolidates to---standard---attribute.%2_=%6.describes the.element.%4.
304: pattern---*.*.describes not the.*.*.+*.*.describes not the.*.%4.+---consolidates to---standard---attribute.%2_=%6.describes not the.element.%4.
305: pattern---*.*.contains the.*.*.+*.%2.contains the.*.*.+---consolidates to---standard---set.%2.contains the.elements.%7_=%4.
306: pattern---*.*.contains not the.*.*.+*.%2.contains not the.*.*.+---consolidates to---standard---set.%2.contains not the.elements.%4_-%7.
307: pattern---*.*.contains not the.*.*.+*.*.describes not the.*.%4.+---consolidates to---standard---set.%6_-%2.contains not the.element.%4.
308: pattern---*, =*---transforms to---alternate---%1 %2
309: pattern---*, ,*---transforms to---alternate---%1, %2
310: pattern---*, +*---transforms to---alternate---%1 and %2
311: pattern---*, !*---transforms to---alternate---%1 or %2
312: pattern---*, -*---transforms to---alternate---%1 nor %2
313: pattern---*.*.contains the.*.*.+*.*.contains the.*.%4.+---consolidates to---standard---set.%2_=%6.contains the.element.%4.
314: pattern---set.*.contains the.element.*.+set.%1.contains not the.element.*.+---consolidates to---standard---proposition.set-%1-contains the-element-%2-.but.proposition.set-%1-contains not the-element-%3-.
315: pattern---gettime *.---accepts---form---term
316: pattern---event.now.happens at.time.*.---translates to---natural---it is %1.
317: pattern---what time is it?---converts to---command---gettime now.
318: pattern---I.harry.*.fact.*.---translates to---natural---I %1 that
319: pattern---I.harry.do understand not.statement.*.---translates to---natural---I do not understand %1.
320: pattern---I.harry.generated.statement.*.---translates to---natural---I generated statement %1.
321: pattern---I.harry.make.statement.*.---translates to---natural---%1.
322: pattern---I.harry.made.statement.*.---translates to---natural---%1.
323: pattern---emote *.---accepts---form---term
324: pattern---how do you feel?---converts to---command---emote feelings.
325: pattern---if * is *, then * is *.---converts to---standard---relation.%1 is %2.can cause.relation.%3 is %4.
326: pattern---I do not understand---transforms to---choice---I don't understand English sentence

Propositions table holds the internal semantics of object relationships.

Content:     object 1 sense, object 1, relation, object 2 sense, object 2

Dialog holds the conversation between Harry and the user.

Content:     speaker type, speaker name, action, statement type, statement

Blackboard holds the collected propositions related to Harry's response.

 Content:    object 1 sense, object 1, relation, object 2 sense, object 2

Interpretation holds the records created from the conversion of inputs to internal form.

Content:     object 1 sense, object 1, relation, object 2 sense, object 2

Sentences holds the sentences translated from internal form to output form.

 Content:    speaker type, speaker name, action, statement type, statement

Procedure holds a sequence of steps to perform a task.

Content:     object 1 sense, object 1, relation, object 2 sense, object 2

Inference holds the general and specific rules for making deductive, inductive, and abductive inferences.

Content:     inference method, inference criteria, reasoning type, inference type, inference

Categorical Dilemma rules in Harry’s Knowledge Representation Language (Commando)

• Instantiate disjunctive---set. *.contains the.element.*.+attribute.* xor *.*.set.%1.++---deduce---proposition---remember attribute.%3 xor %4.describes the.element.%2.
• deny Xor particular1---attribute.*.describes the.element.*.+---attribute.* xor %1.describes the.element.%2. ++---deduce---proposition---forget attribute.%1 xor %3.describes the.element.%2.
• deny Xor particular2---attribute.*.describes the.element.*.+---attribute.%1 xor *.describes the.element.%2. ++---deduce---proposition---forget attribute.%1 xor %3.describes the.element.%2.
• deny Xor particular3---attribute.*.describes not the.element.*.+---attribute.* xor %1.describes the.element.%2. ++---deduce---proposition---forget attribute.%1 xor %3.describes the.element.%2 and forget attribute.*.describes not the.element.*. and remember attribute.%3.describes the.element.%2.
• deny Xor particular4---attribute.*.describes not the.element.*.+---attribute.%1 xor *.describes the.element.%2. ++---deduce---proposition---forget attribute.%1 xor %3.describes the.element.%2 and forget attribute.*.describes not the.element.*. and remember attribute.%3.describes the.element.%2.

 1: chain---prop.*_*_*_*_*_.implies.prop.*_*_*_*_*_.+prop.%6_%7_%8_%9_%10_.implies.prop.*_*_*_*_*_.++---deduce---rule---remember prop.%1_%2_%3_%4_%5_.implies.prop.%11_%12_%13_%14_%15_.
2: modus ponens---*.*.*.*.*.+prop.%1_%2_%3_%4_%5_.implies.prop.*_*_*_*_*_.++---deduce---proposition---remember %6.%7.%8.%9.%10.
3: modus tolens---not(*.*.*.*.*.)+prop.*_*_*_*_*_.implies.prop.%1_%2_%3_%4_%5_.++---deduce---proposition---remember not(%6.%7.%8.%9.%10.)
4: reverse modus ponens---*.*.*.*.*.+prop.*_*_*_*_*_.implies.prop.%1_%2_%3_%4_%5_.++---abduce---proposition---remember poss(%6.%7.%8.%9.%10.)
5: prediction---attribute.*.*.element.*.+set.*.contains the.element.%3.+prop.attribute_%1_%2_element_%4_.causes.prop.attribute_*_*_element_%4_.+---induce---proposition---remember willbe(attribute.%5.%6.element.%3.)
6: remove uncertainty---attribute.*.describes poss the.element.*.+attribute.%1.describes the.element.%2.++---deduce---proposition---forget attribute.%1.describes poss the.element.%2.
7: negate particular---not(attribute.*.*.element.*.)+set.*.contains the.element.%3.++---deduce---proposition---remember attribute.%1.describes not some.set.%4.
8: deny negative universal---attribute.*.describes some.set.*.+++---induce---proposition---forget attribute.%1.describes not all.set.%2.
9: conjecture universal---attribute.*.describes some.set.*.+++---induce---proposition---remember attribute.%1.describes poss all.set.%2.
10: deny universal---attribute.*.describes all.set.*.+attribute.%1.describes not some.set.%2.++---induce---proposition---forget attribute.%1.describes all.set.%2.
11: deny affirmative universal---not(attribute.*.describes some.set.*.)+++---induce---proposition---forget attribute.%1.describes all.set.%2.
12: affirm negative universal---not(attribute.*.describes some.set.*.)+++---induce---proposition---remember attribute.%1.describes not all.set.%2.
13: deny negative universal---not(attribute.*.describes all.set.*.)+attribute.%1.describes some.set.%2.++---induce---proposition---forget attribute.%1.describes not all.set.%2.
14: superset member---set.*.contains the.element.*.+set.*.contains all.set.%1.++---deduce---proposition---remember set.%3.contains the.element.%2.
15: set member attribute---set.*.contains the.element.*.+attribute.*.describes all.set.%1.++---deduce---proposition---remember attribute.%3.describes the.element.%2.
16: remove redundant attribute---attribute.*.describes the.element.*.+set.*.contains the.element.%2.+attribute.%1.describes all.set.%3.+---deduce---proposition---forget attribute.%1.describes the.element.%2.
17: affirm particular---attribute.*.*.element.*.+set.*.contains the.element.%3.++---deduce---proposition---remember attribute.%1.describes some.set.%4.
18: conjunctive2---prop.*_*_*_*_*_.and.prop.*_*_*_*_*_.+++---deduce---proposition---%1.%2.%3.%4.%5.
19: conjunctive3---prop.*_*_*_*_*_.and.prop.*_*_*_*_*_.+++---deduce---proposition---%6.%7.%8.%9.%10.