Hi everyone,

Could someone suggest to me how I can perform the following functions (using Java):

1. Showing/listing all the assertions inside opencyc or cycl file in an alphabetical order. ie, how can we obtain all the assertions so the user can navigate through the list.
2. Can we also apply this listing idea to the microtheories inside opencyc? ie, we provide the user with a way to explore the kb top-down, via all the MTs that is made available to him/her.

We are thinking of creating a shared knowledgebase for us students, but that plan still seems far away, we want to understand how to use opencyc first before we look at extending it for IT-oriented terms/concepts, if its not already done. :)

Any kind advice or suggestions is very very appreciated and welcome!