Class: SweetPepperTopping

•owl:Thing

•DomainConcept

•PizzaTopping

•VegetableTopping

•PepperTopping

•SweetPepperTopping

Super Classes

hasSpiciness SOME Mild

PepperTopping

Disjoint Classes

GreenPepperTopping, PeperonataTopping, JalapenoPepperTopping

Abstract Syntax

Class(SweetPepperTopping partial restriction(hasSpiciness someValuesFrom(Mild))
                                PepperTopping)

DisjointClasses(SweetPepperTopping GreenPepperTopping
                                   PeperonataTopping
                                   JalapenoPepperTopping)

Usage

Class Description/Definition (Necessary Conditions)

PolloAdAstra

Generated with OWLDoc