When should I use the “Cyclify” button?
Click on the “Cyclify” button before Asserting and before Asking to make sure that all of the constants you’ve used are recognized. This button does something basically like a spell check and prepends #$ before each constant that passes the check.For example, if you enter (subsumesIntervalType CalendarWinter January) in the main field on the Assert page, then click on “Cyclify”, OpenCyc will change what you entered to be (#$subsumesIntervalType #$CalendarWinter #$January).
Click on the “Cyclify” button before Asserting and before Asking to make sure that all of the constants you’ve used are recognized. This button does something basically like a spell check and prepends #$ before each constant that passes the check. For example, if you enter (subsumesIntervalType CalendarWinter January) in the main field on the Assert page, then click on “Cyclify”, OpenCyc will change what you entered to be (#$subsumesIntervalType #$CalendarWinter #$January).