We are now notified of the fact that we have redone the edit. The page showing the class Thesis is still cluttered up with little edit widgets, so we turn them off by clicking on the Suppress edit gadgets button.

[Back] [Up] [Next]


While you were away, the following happened:


HomeMake CommentPreferencesSave all and quit sessionReloadOntology LibraryParent OntologySuppress edit gadgetsUndoDictionaryDocumentationFind 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:
! Technical-Document, Go 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 gadgetsUndoDictionaryDocumentationFind NameHelp