Project: included
Class :OWL-MAXCARDI-RESTRICTION

Concrete Class Extends 

        :OWL-RESTRICTION

 

Direct Instances:

1. [is-a-Set-of ≤ 1]
2. [is-a-Set-of ≤ 1]
3. [is-a-Set-of ≤ 1]
4. [is-a-Set-of ≤ 1]
5. [is-a-Set-of ≤ 1]
6. [is-a-Set-of ≤ 1]
7. [has-PlaceSet ≤ 1]
8. [has-TransitionFunction ≤ 1]
9. [has-ClockStructure ≤ 1]
10. [has-Set-Type ≤ 1]
11. [has-Set-Type ≤ 1]
12. [has-Set-Type ≤ 1]

 

Direct Subclasses:

:OWL-CARDI-RESTRICTION

 

Template Slots
Slot name	Documentation	Type	Allowed Values/Classes	Cardinality	Default
:OWL-DIFFERENT-FROM		Instance	:THING	0:*
:OWL-VERSION-INFO		String		0:*
:OWL-SEE-ALSO		String		0:*
:OWL-DISJOINT-CLASSES		Instance	:OWL-CLASS	0:*
:OWL-LABELS		String		0:*
:OWL-FILLER-DEFINED		Boolean		0:1
:OWL-SAME-AS		Instance	:THING	0:*
:OWL-IS-DEFINED-BY		String		0:*

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

Return to class hierarchy