Class: NonVegetarianPizza

Any Pizza that is not a VegetarianPizza

•owl:Thing

•DomainConcept

•Pizza

•NonVegetarianPizza

Equivalent Classes (Necessary and Sufficient Conditions)

NOT(VegetarianPizza)

Pizza

Disjoint Classes

VegetarianPizza

Abstract Syntax

Class(NonVegetarianPizza complete annotation(rdfs:comment "Any Pizza that is not a VegetarianPizza"^^<http://www.w3.org/2001/XMLSchema#string>)
                                 complementOf(VegetarianPizza)
                                 Pizza)

DisjointClasses(NonVegetarianPizza VegetarianPizza)

Usage

Class Description/Definition (Necessary Conditions)

NonVegetarianPizza

Generated with OWLDoc