Class: RocketTopping

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

Super Classes

hasSpiciness SOME Medium
VegetableTopping

Disjoint Classes

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

Annotations

rdfs:label"CoberturaRocket" [lang: pt]

Abstract Syntax

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

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

Usage

Class Description/Definition (Necessary Conditions)

Soho
Generated with OWLDoc