Class: MeatFishAndVegetarianPizza-Open

•owl:Thing
        •PizzaDomainConcept
                •Pizza
                        •TestPizza
                                •OpenPizza
                                        •MeatFishAndVegetarianPizza-Open

Super Classes

hasTopping SOME VegetarianTopping
OpenPizza
hasTopping SOME FishTopping
hasTopping SOME MeatTopping

Abstract Syntax

Class(MeatFishAndVegetarianPizza-Open partial restriction(hasTopping someValuesFrom(VegetarianTopping))
                                             OpenPizza
                                             restriction(hasTopping someValuesFrom(FishTopping))
                                             restriction(hasTopping someValuesFrom(MeatTopping)))

Usage

Generated with OWLDoc