Class: SpicyTopping

"Any pizza topping that has spiciness Hot" [lang: en]

•owl:Thing
        •DomainConcept
                •PizzaTopping
                        •SpicyTopping

Equivalent Classes (Necessary and Sufficient Conditions)

PizzaTopping
hasSpiciness SOME Hot

Annotations

rdfs:label"CoberturaTemperada" [lang: pt]

Abstract Syntax

Class(SpicyTopping complete annotation(rdfs:label "CoberturaTemperada"@pt)
                           annotation(rdfs:comment "Any pizza topping that has spiciness Hot"@en)
                           PizzaTopping
                           restriction(hasSpiciness someValuesFrom(Hot)))

Usage

Class Description/Definition (Necessary Conditions)

SpicyPizza, SpicyTopping
Generated with OWLDoc