Talk:SubL

I have been studying OpenCyc and I was disappointed when the SubL guide I found didn't have any mention of the KB creation and access commands.

I have also been using AIMLpad which is a Alice.org chatbot program. It had a Cyc interface. By inspecting the documentation that came with AMLpad.

{NOTE: I have been informed that the FI-* commands are being depreciated, that CYC-* commands should be used instead. I have not tested this and will update the page once I can provide concrete feedback)

SubL commands:

(FI-CREATE '"Cone4" )

Creates a new constant in Cyc.

(FI-ASSERT '(#$isa #$Cone4 #$Cone) '#$BaseKB ':Default 'nil)

Makes assertion into Cyc knowledgebase. The second argument is the name of the microtheory to assert the fact. The third argument is the chaining direction.

(FI-UNASSERT '(#$isa #$TomBelpasso #$Dog) '#$BaseKB )

Retracts previously asserted facts.

(FI-RENAME '#$Cone4 "Cone6")

Changes the name of the constant to a new sting.

(fi-ask '(#$isa '?ISIT #$Cone) #$EverythingPSC)

Does a KB query.

These commands are queued, I think there are are versions of the commands that are immediately applied.