10.5 Setting the Definition
On this page, we will give an example of how to set the definition of a concept type, and also discuss the philosphical underpinnings of this.
Open the contents pane
Open the contents pane for "Man" (if it is currently open, close it first, by clicking the "Close" button.
Write the definition
Write the definition as follows:
Once you have written the definition, click the "Set" button:
This will make your changes permanent. (If you didn't do this, the definition would be lost when you closed the contents pane.)
If everythin is OK (i.e., you have written the definition correctly), you will get the following message in the debug frame:
If you did not get this message, you need to go back and ensure that you have copied the definition correctly from the above picture.
If that is not the problem, you may not have all the conceptual structures ("Human", "attr", "Sex", "Male") in the ontology. If you don't, please add them as follows, and try again:
Close the content pane
Now that you have set the definition CG successfully, remember to close the content pane so that you can set the content of another conceptual structure.
What have we just done?
This is Aristotle's method of definition:
The reason we put "super" after the colon is to tell Amine what the supertype is.
Granted, this could have been computed from its placement in the ontology, but to save Amine some work, we specify it directly in the definition.
PrevLite: 10.4 Setting the Canon
NextLite: 10.6 Try it yourself
Prev: 10.4 Setting the Canon
Up: 10 Adding CGs
Next: 10.6 Try it yourself