Class: FishPizza-Closed

•owl:Thing
        •PizzaDomainConcept
                •Pizza
                        •TestPizza
                                •ClosedPizza
                                        •FishPizza-Closed

Super Classes

hasTopping ONLY FishTopping
hasTopping SOME FishTopping
ClosedPizza

Abstract Syntax

Class(FishPizza-Closed partial restriction(hasTopping allValuesFrom(FishTopping))
                              restriction(hasTopping someValuesFrom(FishTopping))
                              ClosedPizza)

Usage

Generated with OWLDoc