Project: demo1-5
Class SetType

Concrete Class Extends 

        :THING

 

Direct Instances:

1. [_finite]
2. [_cardinality_One]
3. [_countably-Infinite]
4. [_uncountably-infinite]
5. [_empty]

 

Direct Subclasses:

None

 

Class Documentation:

A collectiion of unordered elements with no duplication.

Template Slots
Slot name	Documentation	Type	Allowed Values/Classes	Cardinality	Default
:OWL-DIFFERENT-FROM		Instance	:THING	0:*
size	Number of elements in set.	Integer		0:1
:OWL-VERSION-INFO		String		0:*
:OWL-SEE-ALSO		String		0:*
:OWL-SAME-AS		Instance	:THING	0:*
:OWL-IS-DEFINED-BY		String		0:*
:OWL-LABELS		String		0:*

Own Slots
Slot name	Documentation	Type	Value	Cardinality
:OWL-DIFFERENT-FROM		Instance
:OWL-VERSION-INFO		String
:OWL-SEE-ALSO		String
:OWL-DISJOINT-CLASSES		Instance
:OWL-LABELS		String
:OWL-SAME-AS		Instance
:OWL-IS-DEFINED-BY		String

Return to class hierarchy