Class: JalapenoPepperTopping

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •VegetableTopping
                                •PepperTopping
                                        •JalapenoPepperTopping

Super Classes

hasSpiciness SOME Hot
PepperTopping

Disjoint Classes

SweetPepperTopping, PeperonataTopping, GreenPepperTopping

Abstract Syntax

Class(JalapenoPepperTopping partial restriction(hasSpiciness someValuesFrom(Hot))
                                   PepperTopping)

DisjointClasses(JalapenoPepperTopping SweetPepperTopping
                                      PeperonataTopping
                                      GreenPepperTopping)

Usage

Class Description/Definition (Necessary Conditions)

AmericanHot
Generated with OWLDoc