In this example, we are trying to decide what command to use in order to create a new object, possibly a class or subclass of the current class (Thesis). Notice how a strip of icons captures frequently used commands, and a number of pop-up menus following submit buttons factor out commands. The user has set his user preferences so as to suppress the borders on images and so as to minimize the number of menus shown. This is in contrast to the bordered images shown in figure 1. In this example, the user doesn't understand the Create command, and so clicks on the Help (help) button....
[Up] [Next]
HomeMake CommentPreferencesSave all and quit sessionReloadOntology LibraryParent OntologySuppress edit gadgetsCan't UndoDictionaryDocumentationFind NameHelp
:
:
:
Class Thesis in ontology Documents-2

! Class Thesis

Notes for Thesis:

     +Note

Slots on class Thesis:

Arity: ! 1
+Facet
Documentation:
! An official report on a bout of graduate work for which one receives a degree, published by the university. Never mind that some fields make a big deal about the difference between dissertations and theses. From the bibliographic perspective, they are both of the same family.
+Value
+Facet
Exhaustive-Subclass-Partition: ! {Doctoral-Thesis, Masters-Thesis} +Value
+Facet
Instance-Of: ! Class, Go Relation, Go Set +Value
+Facet
Subclass-Of:
! Document, Go Individual, Go Individual-Thing, Go Thing +Value
+Facet
Superclass-Of: ! Doctoral-Thesis, ! Masters-Thesis +Value
+Facet
+Class Slot

Slots on instances of Thesis:

Has-Author: +Value
Slot-Cardinality: ! 1
+Facet
Organization-Of: +Value
Slot-Cardinality: ! 1
Slot-Value-Type: ! University +Value
+Facet
Publication-Date-Of: +Value
Slot-Cardinality: ! 1
+Facet
Title-Of: +Value
Slot-Cardinality: ! 1
+Facet
+Instance Slot

Implication Axioms for Thesis:

! (=> (Thesis ?X)
       (And (Value-Cardinality ?X Has-Author 1)
            (Value-Cardinality ?X Title-Of 1)
            (Value-Cardinality ?X Publication-Date-Of 1)
            (Value-Cardinality ?X Organization-Of 1)
            (Value-Type ?X Organization-Of University)))
+Axiom

Other Related Axioms for Thesis:

 Go (Subclass-Partition Document
                         (Setof Book
                                Periodical-Publication
                                Proceedings
                                Thesis
                                Technical-Report
                                Miscellaneous-Publication))
:
:
:
HomeMake CommentPreferencesSave all and quit sessionReloadOntology LibraryParent OntologySuppress edit gadgetsCan't UndoDictionaryDocumentationFind NameHelp