protege logo

Class: Theorem

Documentation: A learning object of the type "theorem" describes an idea that has been demonstrated as true. In mathematics, it describes a statement which can be proven true on the basis of explicit assumptions.

Superclasses
Subclasses
Types
Template Slots
  Slot Name Documentation Type Cardinality
hasAbstractness   String 0:1
hasField   String 0:*
hasIdentifier   String 0:1
hasInteractivityType   String 0:1
hasLearningContext   String 0:*
hasRepresentationType   String 0:1
hasTypicalLearningTime   String 0:1
inverseIsA   Fundamental 0:*
inverseIsFor   Auxiliary 0:*
isA   Fundamental 0:*
isRequiredBy   Fundamental 0:*
requires   Fundamental 0:*

Own Slots
  Slot Name Value

  ^ back to top

Return to Class Hierarchy

Generated: 10/06/2005, 11:37:08 AM, Zentraleuropäische Sommerzeit

Protégé is a trademark of Stanford University, Copyright (c) 1998-2005 Stanford University.