Browsing and Editing the KB

This exercise should follow the lesson called KB Browser Interface Overview.

We offer some hints to get you started with this exercise. If you need additional help completing these exercises, consult the documentation available here.

Rover Swimming in the Lake

1. Create “OpenCycExerciseMt” as a new microtheory in the KB.

2. Assert the following #$genlMts for the new microtheory: #$AnimalActivitiesVocabularyMt, #$BaseKB, #$NaturalGeographyVocabularyMt, and #$HumanActivitiesMt.


Click on the green dot before BaseKB.

Click on Assert Similar.

Change #$BaseKB in the formula to #$BiologyMt.

Click on Assert Formula.

3. View the instances of #$Dog.

Type “Dog” in the completion box.

Scroll down to “GAF Arg : 2

4. Create #$Rover as an instance of #$Dog.

5. Look for #$Rover in the KB.

Type “Rover” in the completion box

6. Create an event called #$RoverSwimmingInTheLake. First, assert that it is an instance of #$PurposefulAction. Then, browse the KB for a more appropriate collection and edit the assertion.

For example, one more appropriate event type collection would be #$Action.

Note that you can type English words or short phrases in the completion box in the top frame of the KB Browser and it will find Cyc terms that correspond to what you typed in.

Fido and Fifi at the Rodeo

7. Now use the ‘Create Similar’ tool to create #$Fido, the greyhound in the picture above.

While looking at #$Rover in the KB Browser, click on [Create Similar] near the top of the left-hand frame.

Enter the name “Fido” in the box, and check the boxes next to all the assertions for #$Rover that are in the #$CycCourseExercisesMt. (Skip the ones in #$BookkeepingMt. These will get created automatically.)

Click on “Create Similar”.

Look at your newly created #$Fido constant and edit the assertions to be true about Fido.

8. Try making other assertions about #$Rover and #$Fido using the ‘Asrt’ button on your toolbar. (If you don’t have this button on your toolbar, click ‘Tools’ and then check the ‘Assert’ box.) Remember to make assertions in the appropriate Microtheories!

CycL Translations Home Microtheories and Inferencing