The Domain Examples tool provides a set of examples of uses of predicates which are likely to be extremely useful for representing knowledge in the topic under discussion.
You are strongly encouraged to familiarize yourself with the examples provided by this tool as they are most likely to be the predicates you will want to use.
The tool provides three powerful means of exploiting the examples :
When a sort method results in sections of predicates, an Index to all the sections is available and is presented at the end of the page.
The links
[Top] [Start] [End] [Index]allow you to jump about within the page to the top, the start of the first example, the end of the last example, and the section index, respectively.
Each of the sort methods is now described in more detail.
In other words, predicates that are used more in microtheories relevant to this topic of discussion will have their examples listed earlier. This is the default sort method.
In other words, predicates that are used more throughout the Cyc KB will have their examples listed earlier.
In other words, predicates which more specifically apply to the given search term will have their examples listed earlier. This is the best sort method to use when a search term is given.
In other words, predicates which are defined to be more specific to the topic will have their examples listed earlier.
In other words, predicates which share a common generalization will be grouped together. This method is good for seeing families of related examples grouped together.
Show examples applicable toand enter a concept for which you'd like to find relevant applicable examples. The examples will then be narrowed down to just those examples involving predicates that could be used on the given concept. This works extremely well in connection with the "specificity" sort method.
For this reason, it is often useful to start several Domain Examples interactions that have their applicability filtered down to different terms.
Since the variations provided all show different possible quantification options, they are most useful as starting points for cloning rather than directly asserting.
Note that the Sentence Variations tool is also accessible from the Assertion Clarifier page, whenever there are variations to present.