Project: included
Class :OWL-SOME-RESTRICTION

Concrete Class Extends 
        :OWL-RESTRICTION
 
Direct Instances:
  1. [∃ is-a-Set-of ProbabilisticTransition]
  2. [∃ has-Set-Type {_finite _countably-Infinite}]
  3. [∃ has-Set-Type {_countably-Infinite _finite}]
 
Direct Subclasses:
None
 

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


Generated on Fri Oct 31 11:01:56 EST 2003