Class: RocketTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •VegetableTopping
                                •RocketTopping

Super Classes

VegetableTopping
hasSpiciness SOME Medium

Disjoint Classes

AsparagusTopping, OnionTopping, MushroomTopping, SpinachTopping, GarlicTopping, PepperTopping, CaperTopping, LeekTopping, OliveTopping, TomatoTopping, ArtichokeTopping, PetitPoisTopping

Abstract Syntax

Class(RocketTopping partial VegetableTopping
                           restriction(hasSpiciness someValuesFrom(Medium)))

DisjointClasses(RocketTopping AsparagusTopping
                              OnionTopping
                              MushroomTopping
                              SpinachTopping
                              GarlicTopping
                              PepperTopping
                              CaperTopping
                              LeekTopping
                              OliveTopping
                              TomatoTopping
                              ArtichokeTopping
                              PetitPoisTopping)

Usage

Class Description/Definition (Necessary Conditions)

Soho
Generated with OWLDoc