Viewing Cyc® Constants with the Web Interface

Return to Table of Contents

	Using The Cyc Web Interface
	The Cyc Navigator Page
	The Hierarchy Browser

From the Cyc® Navigator Menu, click on "KB Browser" to go to the page "Recent KB Browser History".

Contents:

• Browsing a Cyc Constant
• How A Constant is Presented
• Assertions Which Involve Binary Predicates
• Presentation of Other Assertions
• More Information About Assertions
• Hidden Assertions
• Comments about Constants
• Assertions Involving #$isa
• Some Exercises with #$Cleaning
• More Exercises with #$Cleaning
• Other References
• Searching for Constants by Name