Class: RocketTopping

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

Super Classes

VegetableTopping
hasSpiciness SOME Medium

Disjoint Classes

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

Annotations

rdfs:label"CoberturaRocket" [lang: pt]

Abstract Syntax

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

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

Usage

Class Description/Definition (Necessary Conditions)

Soho
Generated with OWLDoc